Sign in

Environments for Term Rewriting Engines for Free!

Mark van den BrandPierre-Etienne MoreauJurgen 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