Book Sections
Year : 2009
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03195833
Submitted on : Monday, April 12, 2021-10:50:56 AM
Last modification on : Friday, March 24, 2023-2:53:21 PM
Dates and versions
Identifiers
- HAL Id : hal-03195833 , version 1
Cite
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
10
View
0
Download