Skip to Main content Skip to Navigation
Journal articles

Forward analysis for WSTS, part I: completions

Complete list of metadata

https://hal.inria.fr/hal-03186488
Contributor : Jean Goubault-Larrecq <>
Submitted on : Wednesday, March 31, 2021 - 10:36:48 AM
Last modification on : Friday, April 2, 2021 - 3:31:18 AM

Links full text

Identifiers

Citation

Alain Finkel, Jean Goubault-Larrecq. Forward analysis for WSTS, part I: completions. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2020, 30 (7), pp.752-832. ⟨10.1017/S0960129520000195⟩. ⟨hal-03186488⟩

Share

Metrics

Record views

12