Elimination of composite superpositions may cause abortion

DOI10.1016/S0747-7171(08)80045-4MaRDI QIDQ808267zbMATHOpenAlexFDO

Authors 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)

Recommendations

• Superposition stetiger Abbildungen
• Superposition based on Watson-Crick-like complementarity
• Some Remarks on Superposition Based on Watson-Crick-Like Complementarity
• Superposition quantification
• scientific article; zbMATH DE number 92270
• Complementarity without superadditivity
• Consider only general superpositions in completion procedures
• Superposition as a logical glue
• scientific article; zbMATH DE number 857400
• Hierarchic superposition revisited

Cites work

• scientific article; zbMATH DE number 3896290 (Why is no real title available?)
• scientific article; zbMATH DE number 3928346 (Why is no real title available?)
• scientific article; zbMATH DE number 3981150 (Why is no real title available?)
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure

This page was built for publication: Elimination of composite superpositions may cause abortion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q808267)