A short proof for a theorem of Tutte.

Saieed Akbari A. Mahmoodi

Published in: Australas. J Comb. (2008)

Keyphrases

interactive theorem proving
theorem proving
linear logic
geometry theorem proving
intuitionistic logic
image processing
video sequences
digital libraries
first order logic
von neumann