Pages that link to "Item:Q5055726"
From MaRDI portal
The following pages link to Modular aspects of properties of term rewriting systems related to normal forms (Q5055726):
Displaying 15 items.
- Modularity in noncopying term rewriting (Q673186) (← links)
- Modular term rewriting systems and the termination (Q910207) (← links)
- Modularity of simple termination of term rewriting systems with shared constructors (Q1199539) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Modularity of Confluence (Q3541716) (← links)
- The variable containment problem (Q4645807) (← links)
- Adding algebraic rewriting to the untyped lambda calculus (extended abstract) (Q5055747) (← links)
- Completeness of combinations of constructor systems (Q5055759) (← links)
- Open problems in rewriting (Q5055780) (← links)
- Problems in rewriting III (Q5055847) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Confluence of the disjoint union of conditional term rewriting systems (Q5881285) (← links)
