Login / Signup
A Formalization of Knuth-Bendix Orders.
Christian Sternagel
René Thiemann
Published in:
Arch. Formal Proofs (2020)
Keyphrases
</>
knuth bendix
term rewriting
operational semantics
rewrite systems
function symbols
knowledge representation
theorem prover
databases
mental states