Reducing Equational Theories for the Decision of Static Equivalence.

Steve Kremer Antoine Mercier Ralf Treinen

Published in: J. Autom. Reason. (2012)

Keyphrases

equational theories
decision making
decision rules
theorem proving
decision makers
decision process
high level
probability distribution
object oriented
general purpose