Completion for multiple reduction orderings

DOI10.1007/3-540-59200-8_48zbMath1503.68127OpenAlexW1940747714MaRDI QIDQ5055819

Azuma Ohuchi, Masahito Kurihara, Hisashi Kondo

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59200-8_48

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• A complete proof of correctness of the Knuth-Bendix completion algorithm
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Completion for multiple reduction orderings