{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:19Z","timestamp":1750220659003,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T00:00:00Z","timestamp":1594166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2018\/30\/E\/ST6\/00042"],"award-info":[{"award-number":["2018\/30\/E\/ST6\/00042"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,8]]},"DOI":"10.1145\/3373718.3394748","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:23:18Z","timestamp":1590452598000},"page":"873-885","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Register Automata with Extrema Constraints, and an Application to Two-Variable Logic"],"prefix":"10.1145","author":[{"given":"Szymon","family":"Toru\u0144czyk","sequence":"first","affiliation":[{"name":"University of Warsaw"}]},{"given":"Thomas","family":"Zeume","sequence":"additional","affiliation":[{"name":"Ruhr-Universit\u00e4t Bochum"}]}],"member":"320","published-online":{"date-parts":[[2020,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Christel Baier Joost-Pieter Katoen and Kim Guldstrand Larsen. 2008. Principles of model checking. MIT press.  Christel Baier Joost-Pieter Katoen and Kim Guldstrand Larsen. 2008. Principles of model checking. MIT press."},{"key":"e_1_3_2_1_2_1","unstructured":"Achim Blumensath Thomas Colcombet and Christof L\u00f6ding. 2008. Logical theories and compatible operations. In Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. 73--106.  Achim Blumensath Thomas Colcombet and Christof L\u00f6ding. 2008. Logical theories and compatible operations. In Logic and Automata: History and Perspectives [in Honor of Wolfgang Thomas]. 73--106."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516515"},{"volume-title":"Two-Variable Logic with Counting and Trees. In LICS'13","year":"2013","author":"Charatonik Witold","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209181"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/421196"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00308-9"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019 (CEUR Workshop Proceedings), Mantas Simkus and Grant E. Weddell (Eds.)","volume":"2373","author":"Jung Jean Christoph","year":"2019"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90242-9"},{"key":"e_1_3_2_1_10_1","volume-title":"Decidability Issues for Two-Variable Logics with Several Linear Orders. In CSL 2011 (LIPIcs)","volume":"12","author":"Kieronski Emanuel","year":"2011"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1344862160"},{"volume-title":"On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations. In LICS","year":"2009","author":"Kieronski Emanuel","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Leonid Libkin. 2004. Elements of Finite Model Theory. Springer.  Leonid Libkin. 2004. Elements of Finite Model Theory. Springer.","DOI":"10.1007\/978-3-662-07003-1"},{"key":"e_1_3_2_1_14_1","first-page":"135","article-title":"On languages with two variables. Zeitschr. f. math. Logik u. Grundlagen d","volume":"21","author":"Mortimer Michael","year":"1975","journal-title":"Math."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/601858.601869"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013560.1013562"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.2307\/2695037"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.201700055"},{"key":"e_1_3_2_1_19_1","unstructured":"Michael Oser Rabin. 1972. Automata on Infinite Objects and Church's Problem. Number 13. American Mathematical Soc.  Michael Oser Rabin. 1972. Automata on Infinite Objects and Church's Problem. Number 13. American Mathematical Soc."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Thomas Schwentick and Thomas Zeume. 2012. Two-Variable Logic with Two Order Relations. Logical Methods in Computer Science 8 1 (2012).  Thomas Schwentick and Thomas Zeume. 2012. Two-Variable Logic with Two Order Relations. Logical Methods in Computer Science 8 1 (2012).","DOI":"10.2168\/LMCS-8(1:15)2012"},{"key":"e_1_3_2_1_21_1","first-page":"74","article-title":"A decision method for validity of sentences in two variables","volume":"27","author":"Scott Dana","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Saharon Shelah. 1975. The monadic theory of order. Annals of Mathematics (1975) 379--419. https:\/\/doi.org\/10.2307\/1971037  Saharon Shelah. 1975. The monadic theory of order. Annals of Mathematics (1975) 379--419. https:\/\/doi.org\/10.2307\/1971037","DOI":"10.2307\/1971037"},{"volume-title":"Handbook of formal languages","author":"Thomas Wolfgang","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2933594"}],"event":{"name":"LICS '20: 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society"],"location":"Saarbr\u00fccken Germany","acronym":"LICS '20"},"container-title":["Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394748","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373718.3394748","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:35Z","timestamp":1750197755000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373718.3394748"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,8]]},"references-count":24,"alternative-id":["10.1145\/3373718.3394748","10.1145\/3373718"],"URL":"https:\/\/doi.org\/10.1145\/3373718.3394748","relation":{},"subject":[],"published":{"date-parts":[[2020,7,8]]},"assertion":[{"value":"2020-07-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}