Pages that link to "Item:Q1059392"
From MaRDI portal
The following pages link to On the correspondence between two classes of reduction systems (Q1059392):
Displayed 6 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)
- Constructor equivalent term rewriting systems are strongly sequential: A direct proof (Q1338780) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)