A Generalization of Equational Proof Theory?

Olivier Bournez

Published in: PAPM-PROBMIV (2002)

Keyphrases

proof theory
default reasoning
automated reasoning
theorem proving
equational theories
proof theoretic
theorem prover
reasoning problems
first order logic
probabilistic reasoning