Applying term rewriting to partial algebra theory.

Published in: Fundam. Informaticae (2004)

Keyphrases

term rewriting
theorem prover
theorem proving
knuth bendix
operational semantics
rewrite systems
theoretical framework
set theory
algebraic geometry
boolean algebra
belief functions
artificial intelligence
training data
multi agent
graphical models
laplace transform