An elementary proof of the canonizing version of Gallai-Witt's theorem.

Hans Jürgen Prömel Vojtech Rödl

Published in: J. Comb. Theory, Ser. A (1986)

Keyphrases

interactive theorem proving
conceptual clustering
theorem proving
information systems
rough sets
image processing
website
expert systems
theorem prover
linear logic