{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:32:32Z","timestamp":1730280752628,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"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":[[2021,6,29]]},"DOI":"10.1109\/lics52264.2021.9470660","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T16:14:07Z","timestamp":1625674447000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Characterisation of First-Order Logic with Neighbour"],"prefix":"10.1109","author":[{"given":"Amaldev","family":"Manuel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dhruv","family":"Nevatia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","volume":"1","author":"holcombe","year":"2004","journal-title":"Algebraic Automata Theory"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/2933575.2935308"},{"key":"ref12","first-page":"28:1","article-title":"An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation","author":"krebs","year":"2018","journal-title":"27th EACSL Annual Conference on Computer Science Logic (CSL 2018) volume 119 of Leibniz International Proceedings in Informatics (LIPIcs)"},{"year":"2019","author":"krebs","article-title":"Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1142\/3645"},{"year":"1971","author":"mcnaughton","journal-title":"Counter-Free Automata","key":"ref15"},{"year":"0","author":"pin","journal-title":"Mathematical foundations of automata theory","key":"ref16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-1-4613-2215-3"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.disc.2004.04.027"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.2168\/LMCS-10(3:24)2014"},{"key":"ref4","article-title":"Recognisable languages over monads","author":"boja?czyk","year":"0","journal-title":"CoRR"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-319-21500-6_1"},{"key":"ref6","first-page":"7","article-title":"Varieties of involution semigroups and involution semirings: a survey","author":"crvenkovi?","year":"2000","journal-title":"Proceedings of the International Conference “Contemporary Developments in Mathematics” (Banja Luka 2000)"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/SWAT.1971.6"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/978-3-030-24886-4_13","article-title":"Logics for reversible regular languages and semigroups with involution","author":"gastin","year":"2019","journal-title":"Developments in Language Theory"},{"year":"2005","author":"ebbinghaus","journal-title":"Finite Model Theory","key":"ref7"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.ipl.2007.05.015","article-title":"A new algorithm for testing if a regular language is locally threshold testable","volume":"104","author":"boja?czyk","year":"2007","journal-title":"Information Processing Letters"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-3-030-24886-4_13"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1016\/0304-3975(91)90258-4"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1016\/S0019-9958(65)90108-7"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-1-4612-0289-9"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1016\/0022-4049(85)90062-3"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1016\/0022-4049(85)90071-4"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1016\/0022-0000(82)90016-2"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1007\/BF02572893"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1016\/0022-4049(87)90108-3"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2021,6,29]]},"location":"Rome, Italy","end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470660.pdf?arnumber=9470660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T11:46:21Z","timestamp":1652183181000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470660\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470660","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}