From Chemical Rules to Term Rewriting.

Olivier Bournez Liliana Ibanescu Hélène Kirchner

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rule sets
knuth bendix
machine learning
decision trees
association rules
probabilistic model
classification rules
databases
neural network
training data
production rules