About changing the ordering during Knuth-Bendix completion

DOI10.1007/3-540-57785-8_140MaRDI QIDQ4942621zbMATH OpenFDO

Authors Andrea Sattler-Klein

Publication date 16 March 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://kluedo.ub.uni-kl.de/files/358/seki_34.pdf

zbMATH Keywords

confluenceKnuth-Bendix completion algorithmterm rewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited in

(5)

• Multi-completion with termination tools
• Multi-completion with Termination Tools (System Description)
• Problems in rewriting III
• Extending Maximal Completion (Invited Talk)
• Left-linear completion with AC axioms

This page was built for publication: About changing the ordering during Knuth-Bendix completion

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