Skip to content

A Constructive Proof of the Topological Kruskal Theorem.

Jean Goubault-Larrecq

VenueBMFCS
Year2013
ProceedingsMFCS

Browse the full MFCS paper archive.