Proving Consistency of Equational Theories in Bounded Arithmetic.

Arnold Beckmann

Published in: J. Symb. Log. (2002)

Keyphrases

equational theories
theorem proving
consistency checking
object oriented
general purpose
model checking
constraint networks
path consistency