Proofs with monotone cuts.

Published in: Math. Log. Q. (2012)

Keyphrases

theorem proving
equational theories
upper bound
theorem prover
boolean functions
uniform distribution
formal proofs
databases
genetic algorithm
image segmentation
multi agent
natural deduction