Ground Term Rewriting.

Sándor Vágvölgyi

Published in: Bull. EATCS (2010)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
first order logic
definite clause
artificial intelligence
model checking