Pages that link to "Item:Q5055759"
From MaRDI portal
The following pages link to Completeness of combinations of constructor systems (Q5055759):
Displaying 6 items.
- Modular termination of \(r\)-consistent and left-linear term rewriting systems (Q672714) (← links)
- Modularity of simple termination of term rewriting systems with shared constructors (Q1199539) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- More problems in rewriting (Q5055812) (← links)
- Interaction nets and term rewriting systems (extended abstract) (Q5878907) (← links)
- Completeness of combinations of conditional constructor systems (Q5881177) (← links)
