Login / Signup
Ordinals and Knuth-Bendix Orders.
Sarah Winkler
Harald Zankl
Aart Middeldorp
Published in:
LPAR (2012)
Keyphrases
</>
knuth bendix
term rewriting
rewrite systems
databases
function symbols
database
theorem proving
information systems
database systems
bayesian networks
inductive logic programming
operational semantics