Term Rewriting with Sharing and Memoïzation.

Berthold Hoffmann

Published in: ALP (1992)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
cooperative
information sharing
first order logic
database
knowledge sharing
intelligent agents
multiple users
online learning
object oriented
reinforcement learning
databases