Constrained Term Rewriting tooL.

Cynthia Kop Naoki Nishida

Published in: LPAR (2015)

Keyphrases

term rewriting
theorem proving
operational semantics
knuth bendix
computational intelligence
theorem prover
rewrite systems
neural network
machine learning
genetic algorithm