Descendants and Origins in Term Rewriting.

Inge Bethke Jan Willem Klop Roel C. de Vrijer

Published in: Inf. Comput. (2000)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
directed acyclic graph
database
multi agent
first order logic
databases
machine learning
cooperative
natural language
probability distribution