Knuth-Bendix completion of theories of commuting group endomorphisms

DOI10.1016/j.ipl.2006.01.009zbMath1187.68531OpenAlexW1986426227MaRDI QIDQ844197

Aaron Stump, Bernd Löchner

Publication date: 18 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2006.01.009

zbMATH Keywords

group theoryautomatic theorem provingdecision proceduresKnuth-Bendix completion

Mathematics Subject Classification ID

Related Items

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion, Multi-completion with termination tools, Multi-completion with Termination Tools (System Description)

Uses Software

• AProVE
• Waldmeister

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular termination proofs for rewriting using dependency pairs
• Term Rewriting and Applications
• Term Rewriting and Applications