Article Dans Une Revue Mathematical Structures in Computer Science Année : 2020

Forward analysis for WSTS, part I: completions

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)
Licence

Dates et versions

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

Licence

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⟩
655 Consultations
1505 Téléchargements

Altmetric

Partager

  • More