Modular termination of \(r\)-consistent and left-linear term rewriting systems
From MaRDI portal
Publication:672714
DOI10.1016/0304-3975(95)00080-GzbMath0874.68159MaRDI QIDQ672714
Massimo Marchiori, Sven Eric Panitz, Manfred Schmidt-Schauss
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
On proving termination by innermost termination, The theory of vaccines, Bubbles in modularity, Modularity in term rewriting revisited, On modularity in infinitary term rewriting
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification in a combination of arbitrary disjoint equational theories
- Modular properties of conditional term rewriting systems
- Termination of rewriting
- Counterexamples to termination for the direct sum of term rewriting systems
- On termination of the direct sum of term-rewriting systems
- Modular properties of composable term rewriting systems
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Termination for direct sums of left-linear complete term rewriting systems
- Completeness of combinations of constructor systems
- Modularity of completeness revisited
- Input-Termination of Logic Programs
- On the Church-Rosser property for the direct sum of term rewriting systems
