Chapitre D'ouvrage
Année : 2009
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03195833
Soumis le : lundi 12 avril 2021-10:50:56
Dernière modification le : vendredi 17 mai 2024-16:22:03
Dates et versions
Identifiants
- HAL Id : hal-03195833 , version 1
Citer
Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part I: Completions. Leibniz-Zentrum für Informatik. Proceedings of the 26th Annual Symposium on Theoretical Aspects of Computer Science (STACS'09), volume 3 of Leibniz International Proceedings in Informatics, Freiburg, Germany., pp.433-444, 2009. ⟨hal-03195833⟩
Collections
17
Consultations
0
Téléchargements