Conference Papers Year : 2024

Positional ω-regular languages

Fichier principal
Vignette du fichier
3661814.3662087.pdf (833) Télécharger le fichier
Origin Files produced by the author(s)
licence

Dates and versions

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

Licence

Identifiers

Cite

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 View
0 Download

Altmetric

Share

More