HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

A Constructive Proof of the Topological Kruskal Theorem

Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03189943
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, April 5, 2021 - 3:32:25 PM
Last modification on : Tuesday, December 14, 2021 - 3:53:22 AM

Links full text

openaccess

Identifiers

Collections

INSMI | CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | UNIV-PARIS-SACLAY

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

15

 

Contact                    Legal Notice                    Personal Data