Pages that link to "Item:Q1112601"
From MaRDI portal
The following pages link to Implementing first-order rewriting with constructor systems (Q1112601):
Displaying 9 items.
- Transformations and confluence for rewrite systems (Q672232) (← links)
- Comparison of priority rules in pattern matching and term rewriting (Q808264) (← links)
- On the correspondence between two classes of reduction systems (Q1059392) (← links)
- Full abstraction and limiting completeness in equational languages (Q1121676) (← links)
- Remarks on Thatte's transformation of term rewriting systems (Q1763376) (← links)
- Rewriting conversions implemented with continuations (Q2655323) (← links)
- On constructor rewrite systems and the lambda calculus (Q2904629) (← links)
- (Q4281465) (← links)
- Complexity Hierarchies and Higher-Order Cons-Free Rewriting. (Q5369488) (← links)