Pages that link to "Item:Q5096744"
From MaRDI portal
The following pages link to Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems (Q5096744):
Displaying 5 items.
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- Modularity of termination in term graph rewriting (Q5055863) (← links)
