Term Rewriting with Logical Constraints.

Cynthia Kop Naoki Nishida

Published in: FroCos (2013)

Keyphrases

term rewriting
theorem prover
theorem proving
operational semantics
rewrite systems
constraint programming
knuth bendix
constraint satisfaction
constrained optimization
databases
machine learning
data model
probability distribution
software systems