Term Rewriting with Type-safe Traversal Functions.

Mark van den Brand Paul Klint Jurgen J. Vinju

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

Keyphrases

term rewriting
theorem proving
operational semantics
theorem prover
rewrite systems
knuth bendix
multi agent systems
data sets
bayesian networks
data structure
cooperative
training set