scientific article; zbMATH DE number 935186

MaRDI QIDQ4895543zbMATH OpenFDO

Authors Henrik Linnestad

Publication date 17 November 1996

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 4076598
• Only prime superpositions need be considered in the Knuth-Bendix completion procedure
• scientific article; zbMATH DE number 3928345
• scientific article; zbMATH DE number 3956435
• Solving divergence in Knuth--Bendix completion by enriching signatures

Cited in

(1)

• KBCV – Knuth-Bendix Completion Visualizer

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