Elimination of composite superpositions may cause abortion

DOI10.1016/S0747-7171(08)80045-4zbMath0731.68062OpenAlexW2042468018MaRDI QIDQ808267

Andrea Sattler-Klein

Publication date: 1991

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80045-4

zbMATH Keywords

completion of a term rewriting systemcomposite superpositions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Grammars and rewriting systems (68Q42)

Cites Work

• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• Unnamed Item
• Unnamed Item
• Unnamed Item