Term rewriting for sale.

Mark van den Brand Paul Klint Chris Verhoef

Published in: WRLA (1998)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
first order logic
online auctions
training set
object oriented databases
language processing