scientific article
From MaRDI portal
Publication:3703288
zbMath0581.68031MaRDI QIDQ3703288
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyundecidabilitydecidabilityterm rewriting systemssimplification orderingsquasi-orderingsmultiset orderingspath orderingsprecedence orderings
Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Varieties (08B99) Word problems (aspects of algebraic structures) (08A50)
Related Items (23)
On sufficient completeness of conditional specifications ⋮ An universal termination condition for solving goals in equational languages ⋮ A local termination property for term rewriting systems ⋮ Priority rewriting: Semantics, confluence, and conditionals ⋮ Negation with logical variables in conditional rewriting ⋮ Extensions and comparison of simplification orderings ⋮ Program transformation and rewriting ⋮ Topics in termination ⋮ On the modularity of termination of term rewriting systems ⋮ Simplifying conditional term rewriting systems: Unification, termination and confluence ⋮ Counterexamples to termination for the direct sum of term rewriting systems ⋮ A geometrical approach to multiset orderings ⋮ It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair ⋮ Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming ⋮ Extension orderings ⋮ Schematization of infinite sets of rewrite rules generated by divergent completion processes ⋮ Complexity analysis of term-rewriting systems ⋮ On word problems in Horn theories ⋮ Proof of termination of the rewriting system SUBSET on CCL ⋮ A strong restriction of the inductive completion procedure ⋮ Automatic proofs by induction in theories without constructors ⋮ Pattern-matching algorithms based on term rewrite systems ⋮ Termination orderings for associative-commutative rewriting systems
This page was built for publication:
