An AC-compatible Knuth-Bendix order.

DOI10.1007/B11829MaRDI QIDQ5900709zbMATH OpenOpenAlexFDO

Authors Konstantin Korovin, Andrei Voronkov

Publication date 20 April 2010

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

Full work available at URL https://doi.org/10.1007/b11829

Mathematics Subject Classification ID

Recommendations

• AC-KBO revisited
• AC-KBO revisited
• A total AC-compatible ordering based on RPO
• A precedence-based total AC-compatible ordering
• AC-termination of rewrite systems: a modified Knuth-Bendix ordering

Cited in

(9)

• A fully syntactic AC-RPO.
• AC-KBO revisited
• scientific article; zbMATH DE number 1405623 (Why is no real title available?)
• A precedence-based total AC-compatible ordering
• AC-KBO revisited
• Building Theorem Provers
• ALASCA: reasoning in quantified linear arithmetic
• A total AC-compatible ordering based on RPO
• Automating the Knuth Bendix ordering

This page was built for publication: An AC-compatible Knuth-Bendix order.

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