Modularity in Noncopying Term Rewriting.

Masahito Kurihara Azuma Ohuchi

Published in: Theor. Comput. Sci. (1995)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
expert systems
community detection
machine learning
logic programs
intelligent agents
inference rules