Login / Signup
Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms.
Heiko Becker
Jasmin Christian Blanchette
Uwe Waldmann
Daniel Wand
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
knuth bendix
higher order
function symbols
term rewriting
rewrite systems
lambda calculus
machine learning
information systems
operational semantics