Chapitre D'ouvrage
Année : 2013
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189943
Soumis le : lundi 5 avril 2021-15:32:25
Dernière modification le : mercredi 29 novembre 2023-15:28:04
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⟩
Collections
20
Consultations
0
Téléchargements