{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:58:16Z","timestamp":1762300696723,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Narodowy Centrum Nauki","award":["2022\/46\/A\/ST6\/00072"],"award-info":[{"award-number":["2022\/46\/A\/ST6\/00072"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662087","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Positional \u03c9-regular languages"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6539-2020","authenticated-orcid":false,"given":"Antonio","family":"Casares","sequence":"first","affiliation":[{"name":"Institute of Informatics, University of Warsaw, Warsaw, Poland"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4685-5253","authenticated-orcid":false,"given":"Pierre","family":"Ohlmann","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique et des Syst\u00e8mes, CNRS, LIS, Universit\u00e9 Aix-Marseille, Marseille, France"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.46298\/lmcs-18(3:16)2022"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/0304-3975(85)90148-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/s10472-011-9250-1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1007\/978-3-319-10575-8_27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.48550\/arXiv.2302.11043"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/3584676.3584682"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.4230\/LIPIcs.CONCUR.2022.20"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1007\/978-3-540-85778-5_4"},{"doi-asserted-by":"publisher","unstructured":"Patricia Bouyer Nathana\u00ebl Fijalkow Mickael Randour and Pierre Vandenhove. How to play optimally for regular objectives? In ICALP volume 261 of LIPIcs pages 118:1--118:18 2023. 10.4230\/LIPIcs.ICALP.2023.118","key":"e_1_3_2_1_9_1","DOI":"10.4230\/LIPIcs.ICALP.2023.118"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.46298\/theoretics.23.1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.4230\/LIPIcs.CONCUR.2020.24"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1090\/S0002-9947-1969-0280205-0"},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"Proc. Internat. Congr. on Logic, Methodology and Philosophy of Science","author":"B\u00fcchi J. Richard","year":"1962","unstructured":"J. Richard B\u00fcchi. On a decision method in restricted second order arithmetic. Proc. Internat. Congr. on Logic, Methodology and Philosophy of Science, pages 1--11, 1962."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1051\/ita:1999129"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.4230\/LIPIcs.CSL.2022.1"},{"key":"e_1_3_2_1_16_1","volume-title":"Universit\u00e9 de Bordeaux","author":"Casares Antonio","year":"2023","unstructured":"Antonio Casares. Structural properties of automata over infinite words and memory for games (Propri\u00e9t\u00e9s structurelles des automates sur les mots infinis et m\u00e9moire pour les jeux). Phd thesis, Universit\u00e9 de Bordeaux, France, 2023. URL: https:\/\/theses.hal.science\/tel-04314678."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.46298\/theoretics.24.12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.4230\/LIPIcs.ICALP.2022.117"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.4230\/LIPIcs.ICALP.2023.122"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.48550\/ARXIV.2401.15384"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/0020-0190(93)90069-L"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.46298\/lmcs-18(3:29)2022"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.4230\/LIPIcs.FSTTCS.2014.379"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1016\/j.tcs.2005.10.046"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.1109\/LICS.1997.614939"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.4230\/LIPIcs.FSTTCS.2022.36"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1109\/SFCS.1991.185392"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1007\/11539452_33"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1007\/3-540-46541-3\\_24"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1016\/0168-0072(94)90086-8"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1007\/978-3-540-74915-8_7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.4230\/LIPIcs.STACS.2022.43"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.4230\/LIPICS.CSL.2024.34"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/978-3-662-47666-6_24"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.3389\/fcomp.2022.1114625"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1016\/S0304-3975(96)00312-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_38_1","DOI":"10.1016\/S0019-9958(66)80013-X"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1007\/3-540-16066-3_15"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.46298\/theoretics.23.3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.4230\/LIPICS.STACS.2024.54"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1051\/ita\/1990240605451"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_44_1","DOI":"10.1016\/j.ic.2013.06.004"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_45_1","DOI":"10.1007\/3-540-59042-0_57"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1007\/3-540-61474-5_58"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1007\/11549345_7"}],"event":{"sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"],"acronym":"LICS '24","name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Tallinn Estonia"},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662087","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:08Z","timestamp":1750290248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":45,"alternative-id":["10.1145\/3661814.3662087","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662087","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}