On One-Pass Term Rewriting.

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

Published in: Acta Cybern. (1999)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
operational semantics
knuth bendix
databases
first order logic
multi agent
cooperative
natural language
life cycle