Algorithmic proofs of two theorems of Stafford.

Published in: J. Symb. Comput. (2004)

Keyphrases

sequent calculus
cut elimination
proof search
theorem prover
inference rules
theorem proving
natural deduction
mathematical proofs
real time
formal proof
linear logic
database
decision procedures
programming language
clustering algorithm
data sets
equational theories