A New Proof of Schutzenberger's Theorem.

Peter M. Higgins

Published in: Int. J. Algebra Comput. (2000)

Keyphrases

interactive theorem proving
theorem prover
mathematical proofs
von neumann
theorem proving
special case
data sets
natural deduction
image segmentation
description logics
lower bound
face recognition
database systems
proof planning
intuitionistic logic
decision trees
database