Reducing Equational Theories for the Decision of Static Equivalence.

Steve Kremer Antoine Mercier Ralf Treinen

Published in: ASIAN (2009)

Keyphrases

equational theories
theorem proving
decision making
decision makers
decision rules
decision problems
decision process
artificial intelligence
function symbols