On One-Pass Term Rewriting.

Zoltán Fülöp Eija Jurvanen Magnus Steinby Sándor Vágvölgyi

Published in: MFCS (1998)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
operational semantics
knuth bendix
inference rules
intelligent systems
first order logic