Login / Signup
The Third Proof of Lovász's Cathedral Theorem
Nanao Kita
Published in:
CoRR (2013)
Keyphrases
</>
interactive theorem proving
linear logic
theorem proving
metadata
von neumann
theorem prover
intuitionistic logic
information technology
mobile robot