scientific article; zbMATH DE number 4047064

MaRDI QIDQ3783520zbMATH OpenFDO

Authors David A. Plaisted

Publication date 1986

zbMATH Keywords

Knuth-Bendix completion algorithmtest for nontermination

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3956435
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• scientific article; zbMATH DE number 4076598
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 3928345

Cited in

(9)

• Termination of rewriting
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• scientific article; zbMATH DE number 3913723 (Why is no real title available?)
• scientific article; zbMATH DE number 3956435 (Why is no real title available?)
• scientific article; zbMATH DE number 4076598 (Why is no real title available?)
• scientific article; zbMATH DE number 4080964 (Why is no real title available?)
• Real_Impl
• It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
• Semi-unification

This page was built for publication:

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