Inproceedings,
Positional ω-regular languages.
A. Casares, and P. Ohlmann.LICS, page 21:1-21:14. ACM, (2024)
Meta data
- BibTeX key
- conf/lics/CasaresO24
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2024
- pages
- 21:1-21:14
- publisher
- ACM
- crossref
- conf/lics/2024
- ee
- https://doi.org/10.1145/3661814.3662087
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2024.html#CasaresO24
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/CasaresO24
%A Casares, Antonio
%A Ohlmann, Pierre
%B LICS
%D 2024
%E Sobocinski, Pawel
%E Lago, Ugo Dal
%E Esparza, Javier
%I ACM
%K dblp
%P 21:1-21:14
%T Positional ω-regular languages.
%U http://dblp.uni-trier.de/db/conf/lics/lics2024.html#CasaresO24
@inproceedings{conf/lics/CasaresO24,
added-at = {2024-06-24T00:00:00.000+0200},
author = {Casares, Antonio and Ohlmann, Pierre},
biburl = {https://www.bibsonomy.org/bibtex/212ac127e988c3cbf0ffc1fee2d3de68a/dblp},
booktitle = {LICS},
crossref = {conf/lics/2024},
editor = {Sobocinski, Pawel and Lago, Ugo Dal and Esparza, Javier},
ee = {https://doi.org/10.1145/3661814.3662087},
interhash = {a0ed10df04ed01596a8bed29c0c23e03},
intrahash = {12ac127e988c3cbf0ffc1fee2d3de68a},
keywords = {dblp},
pages = {21:1-21:14},
publisher = {ACM},
timestamp = {2024-07-01T07:09:37.000+0200},
title = {Positional ω-regular languages.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2024.html#CasaresO24},
year = 2024
}