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