Controlled Term Rewriting.

Florent Jacquemard Yoshiharu Kojima Masahiko Sakai

Published in: FroCoS (2011)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
knuth bendix
data model
computer controlled
neural network
graphical models
inference rules