A Constructive Proof of the Topological Kruskal Theorem - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

A Constructive Proof of the Topological Kruskal Theorem

Dates et versions

hal-03189943 , version 1 (05-04-2021)

Identifiants

Citer

Jean Goubault-Larrecq. A Constructive Proof of the Topological Kruskal Theorem. Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 22--41, Klosterneuburg, Austria, August 2013. Springer., pp.22-41, 2013, ⟨10.1007/978-3-642-40313-2_3⟩. ⟨hal-03189943⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More