{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:43:00Z","timestamp":1759992180627,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175824","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["The Logic of Prefixes and Suffixes is Elementary under Homogeneity<sup>*<\/sup>"],"prefix":"10.1109","author":[{"given":"Dario Della","family":"Monica","sequence":"first","affiliation":[{"name":"University of Udine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[{"name":"University of Udine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Puppis","sequence":"additional","affiliation":[{"name":"University of Udine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Sala","sequence":"additional","affiliation":[{"name":"University of Verona"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/2858784","article-title":"Complexity hierarchies beyond elementary","volume":"8","author":"schmitz","year":"2016","journal-title":"ACM Trans Comput Theory"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-015-0250-1"},{"key":"ref15","article-title":"The complexity of decision problems in automata theory and logic","author":"stockmeyer","year":"1974","journal-title":"PhD thesis"},{"key":"ref14","first-page":"377","article-title":"A decision method for validity of sentences in two variables","volume":"27","author":"scott","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2014-1011"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44464-5_21"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3281028"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.4.453"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.2307\/1969503"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-013-9376-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(1:24)2022"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.04.011"},{"key":"ref6","first-page":"9:1","article-title":"PSPACE-completeness of the temporal logic of sub-intervals and suffixes","volume":"206","author":"bozzelli","year":"2021","journal-title":"28th International Symposium on Temporal Representation and Reasoning"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.346.12"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2023,6,26]]},"location":"Boston, MA, USA","end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175824.pdf?arnumber=10175824","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:59:18Z","timestamp":1690912758000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175824\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175824","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}