Journal Articles
Logical Methods in Computer Science
Year : 2020
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03216116
Submitted on : Monday, May 3, 2021-5:36:17 PM
Last modification on : Friday, August 5, 2022-2:58:08 PM
Dates and versions
Identifiers
- HAL Id : hal-03216116 , version 1
Cite
Michael Blondin, Alain Finkel, Jean Goubault-Larrecq. Forward Analysis for WSTS, Part III: Karp-Miller Trees. Logical Methods in Computer Science, 2020, 16 (2). ⟨hal-03216116⟩
Collections
20
View
0
Download