Pages that link to "Item:Q689634"
From MaRDI portal
The following pages link to Constructor equivalent term rewriting systems (Q689634):
Displaying 9 items.
- Strongly sequential and inductively sequential term rewriting systems (Q293294) (← links)
- Efficient simulation of forward-branching systems with constructor systems (Q674754) (← links)
- Strong and NV-sequentiality of constructor systems (Q1029079) (← links)
- On the correspondence between two classes of reduction systems (Q1059392) (← links)
- Implementing first-order rewriting with constructor systems (Q1112601) (← links)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- On constructor rewrite systems and the lambda calculus (Q2904629) (← links)
- (Q5020960) (← links)
- Transforming strongly sequential rewrite systems with constructors for efficient parallel execution (Q5055735) (← links)