An Account of Implementing Applicative Term Rewriting.

Muck van Weerdenburg

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
data sets
intelligent agents
first order logic
efficient implementation
object oriented databases