Implementing term rewriting by jungle evaluation.

Berthold Hoffmann Detlef Plump

Published in: RAIRO Theor. Informatics Appl. (1991)

Keyphrases

term rewriting
theorem proving
theorem prover
databases
evaluation model
rewrite systems
knuth bendix
data sets
neural network
information retrieval
knowledge base
operational semantics