Login / Signup
A Constructive Proof of the Topological Kruskal Theorem.
Jean Goubault-Larrecq
Published in:
MFCS (2013)
Keyphrases
</>
interactive theorem proving
digital topology
theorem proving
linear logic
topological spaces
topology preservation
geometry theorem proving
data sets
decision trees
theorem prover
learning algorithm
von neumann
real time
geometric objects
neural network
intuitionistic logic
directional relations