Forward analysis for WSTS, part I: completions - Laboratoire Méthodes Formelles
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2020

Forward analysis for WSTS, part I: completions

Domaines

Théorie et langage formel [cs.FL] Topologie générale [math.GN]
Fichier principal
Vignette du fichier
part1_reloaded_v4-hal.pdf (1.68 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean Goubault-Larrecq  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03186488

Soumis le : jeudi 10 juin 2021-16:09:42

Dernière modification le : jeudi 19 septembre 2024-16:21:37

Archivage à long terme le : samedi 11 septembre 2021-19:22:02

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
94 Consultations
79 Téléchargements

Altmetric

Partager

More