Communication Dans Un Congrès Année : 2024

Positional ω-regular languages

Fichier principal
Vignette du fichier
3661814.3662087.pdf (833.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04894058 , version 1 (17-01-2025)

Licence

Identifiants

Citer

Antonio Casares, Pierre Ohlmann. Positional ω-regular languages. LICS '24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn Estonia, France. pp.1-14, ⟨10.1145/3661814.3662087⟩. ⟨hal-04894058⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More