Term rewriting with traversal functions.

Mark van den Brand Paul Klint Jurgen J. Vinju

Published in: ACM Trans. Softw. Eng. Methodol. (2003)

Keyphrases

term rewriting
theorem proving
theorem prover
data structure
operational semantics
rewrite systems
knuth bendix
multi agent
database
data sets
neural network
multi agent systems
software systems
tree structure
basis functions