Modularity in term rewriting revisited.

Bernhard Gramlich

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

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
knuth bendix
rewrite systems
community detection
artificial intelligence
expert systems
formal semantics
data mining
inference rules