Login / Signup
Derivational Complexity of Knuth-Bendix Orders Revisited.
Georg Moser
Published in:
LPAR (2006)
Keyphrases
</>
knuth bendix
term rewriting
rewrite systems
function symbols
finite state
database
bayesian networks
data management
theorem prover