Environments for Term Rewriting Engines for Free!

Mark van den Brand Pierre-Etienne Moreau Jurgen J. Vinju

Published in: RTA (2003)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
dynamic environments
real world
semi supervised
first order logic
databases
artificial intelligence
cooperative