Pages that link to "Item:Q1199539"
From MaRDI portal
The following pages link to Modularity of simple termination of term rewriting systems with shared constructors (Q1199539):
Displaying 16 items.
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
- Modularity in noncopying term rewriting (Q673186) (← links)
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- Elimination transformations for associative-commutative rewriting systems (Q877834) (← links)
- Modular aspects of term graph rewriting (Q1275016) (← links)
- Decidability of reachability for disjoint union of term rewriting systems (Q1325846) (← links)
- Generalized sufficient conditions for modular termination of rewriting (Q1328180) (← links)
- Simple termination is difficult (Q1343111) (← links)
- On the modularity of termination of term rewriting systems (Q1349693) (← links)
- Modular proofs for completeness of hierarchical term rewriting systems (Q1350349) (← links)
- Abstract data type systems (Q1391729) (← links)
- Simple termination of rewrite systems (Q1392146) (← links)
- Modular termination proofs for rewriting using dependency pairs (Q1864874) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Extension orderings (Q4645205) (← links)
