Forward analysis for WSTS, part I: completions - Archive ouverte HAL Access content directly
Journal Articles Mathematical Structures in Computer Science Year : 2020

Forward analysis for WSTS, part I: completions

Domains

Formal Languages and Automata Theory [cs.FL] General Topology [math.GN]
Fichier principal
Vignette du fichier
part1_reloaded_v4-hal.pdf (1.68 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Jean Goubault-Larrecq  : Connect in order to contact the contributor

https://hal.science/hal-03186488

Submitted on : Thursday, June 10, 2021-4:09:42 PM

Last modification on : Friday, May 17, 2024-4:22:03 PM

Long-term archiving on: Saturday, September 11, 2021-7:22:02 PM

Download

Dates and versions

hal-03186488 , version 1 (10-06-2021)

Identifiers

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
77 View
70 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More