The following pages link to (Q4268467):
Displaying 10 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Modularity in term rewriting revisited (Q1929227) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems (Q5096744) (← links)
- Interaction nets and term rewriting systems (extended abstract) (Q5878907) (← links)
