Pages that link to "Item:Q1059392"
From MaRDI portal
The following pages link to On the correspondence between two classes of reduction systems (Q1059392):
Displaying 10 items.
- Transformations and confluence for rewrite systems (Q672232) (← links)
- Constructor equivalent term rewriting systems (Q689634) (← links)
- A refinement of strong sequentiality for term rewriting with constructors (Q1093366) (← links)
- Implementing first-order rewriting with constructor systems (Q1112601) (← links)
- Reducible systems and embedding procedures in the canonical formalism (Q1283528) (← links)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- Interaction systems II: The practice of optimal reductions (Q1350498) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Inductive proofs by specification transformations (Q5055713) (← links)
- Transforming strongly sequential rewrite systems with constructors for efficient parallel execution (Q5055735) (← links)