Publication:3830525
From MaRDI portal
zbMath0675.68022MaRDI QIDQ3830525
Publication date: 1988
Related Items
Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem, Decreasing Diagrams and Relative Termination, Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent, Confluence of the lambda calculus with left-linear algebraic rewriting, Developing developments, Modularity in term rewriting revisited, Shallow confluence of conditional term rewriting systems, Proving Confluence of Term Rewriting Systems Automatically