{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T05:19:37Z","timestamp":1733462377486,"version":"3.30.1"},"reference-count":69,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2024,12,31]]},"DOI":"10.1137\/22m1512612","type":"journal-article","created":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T20:15:16Z","timestamp":1733429716000},"page":"1663-1708","source":"Crossref","is-referenced-by-count":0,"title":["Decidability of Membership Problems for Flat Rational Subsets of \\(\\boldsymbol{{\\textrm{GL}}(2,\\boldsymbol{{\\mathbb{Q}}})}\\) and Singular Matrices"],"prefix":"10.1137","volume":"53","author":[{"given":"Volker","family":"Diekert","sequence":"first","affiliation":[{"name":"Formale Methoden der Informatik, Universit\u00e4t Stuttgart, 70569 Stuttgart, Germany."}]},{"given":"Igor","family":"Potapov","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool L69 3GJ, UK."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7547-6391","authenticated-orcid":true,"given":"Pavel","family":"Semukhin","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Liverpool John Moores University, Liverpool L3 3AF, UK."}]}],"member":"351","published-online":{"date-parts":[[2024,12,3]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02088289"},{"key":"ref2","first-page":"695","volume":"11","author":"Anisimow A. V.","year":"1975","journal-title":"Elektron. Informationsv. Kybernetik"},{"key":"ref3","volume-title":"On Product and Sum Decompositions of Sets: The Factorization Theory of Power Monoids","author":"Antoniou A. A.","year":"2019"},{"key":"ref4","first-page":"498","author":"Babai L.","year":"1996","journal-title":"Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1962-10745-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1968-144-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196708004925"},{"key":"ref9","first-page":"105","author":"Bell P. C.","year":"2023","journal-title":"Inform. Comput."},{"key":"ref10","unstructured":"M. Benois, Parties rationelles du groupe libre, C. R. Acad. Sci. Paris S\u00e9r. A, 269 (1969), pp. 1188\u20131190."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016231"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9771-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/1970103"},{"key":"ref14","first-page":"116:1","volume-title":"47th International Colloquium on Automata, Languages, and Programming, LIPIcs, Vol. 168","author":"Cadilhac M.","year":"2020"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.03.001"},{"key":"ref17","doi-asserted-by":"crossref","unstructured":"A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Vols. 1, 2, American Mathematical Society, Providence, RI, 1961, 1967.","DOI":"10.1090\/surv\/007.1\/01"},{"key":"ref18","first-page":"44:1","volume-title":"46th International Colloquium on Automata, Languages, and Programming,LIPIcs","volume":"132","author":"Colcombet T.","year":"2019"},{"key":"ref19","series-title":"Graduate Texts in Mathematics 228","volume-title":"A First Course in Modular Forms","author":"Diamond F.","year":"2005"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196720500198"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1515\/9783110413335"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404038"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1142\/2563"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1142\/S021819671750028X"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/063"},{"key":"ref26","volume-title":"Automata, Languages, and Machines","author":"Eilenberg S.","year":"1974"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90070-2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1081\/AGB-120022785"},{"key":"ref29","first-page":"12:1","volume-title":"Proceedings 30th International Conference on Concurrency Theory, LIPIcs, Vol. 140","author":"Finkel A.","year":"2019"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511721212.026"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-58.1.74"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9730-4_9"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/050643295"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780199219858.001.0001"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1991250302551"},{"key":"ref38","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft J. E.","year":"1979"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s1-29.4.428"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1137\/0208040"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1515\/9781400882618-002"},{"key":"ref42","series-title":"LIPIcs, Vol. 107","first-page":"132:1","volume-title":"45th International Colloquium on Automata, Languages, and Programming","author":"Ko S.","year":"2018"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/677\/13625"},{"key":"ref44","series-title":"Memoirs of the American Mathematical Society 87","volume-title":"Hecke Algebras","author":"Krieg A.","year":"1990"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-023-10122-2"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_43"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2007.08.025"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2011.565258"},{"key":"ref49","series-title":"Classics in Mathematics","volume-title":"Combinatorial Group Theory","author":"Lyndon R.","year":"1977"},{"key":"ref50","first-page":"539","volume":"57","author":"Markov A. A.","year":"1947","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"ref51","first-page":"587","volume":"55","author":"Markov A. A.","year":"1947","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1964.14.1343"},{"key":"ref53","first-page":"1103","volume":"119","author":"Mihailova K. A.","year":"1958","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-07-02017-0"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1255632506"},{"key":"ref56","first-page":"1","volume":"44","author":"Novikov P. S.","year":"1955","journal-title":"Trudy Mat. Inst. Steklov."},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2022.10.023"},{"key":"ref58","volume-title":"Computational Complexity","author":"Papadimitriou Ch H.","year":"1994"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1002\/sapm1970491105"},{"key":"ref60","first-page":"95","volume":"9","author":"Potapov I.","year":"2019","journal-title":"Dagstuhl Rep."},{"key":"ref63","first-page":"92","volume-title":"Comptes-rendus du premier congr\u00e8s des mathematiciens des pays slaves, Warszawa 1929","author":"Presburger M.","year":"1930"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/b104443"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/BF01462922"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023848"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289520"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/BF02242355"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/BF02952517"},{"key":"ref70","first-page":"55","volume":"8","author":"Sch\u00fctzenberger M.-P.","year":"1974","journal-title":"Rev. Fran\u00e7aise Autom. Inform. Rech. Op\u00e9r. S\u00e9r. Rouge"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/BF02194921"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050045"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61856-7"},{"key":"ref74","first-page":"195","volume":"77","author":"Silva P. V.","year":"2002","journal-title":"Bull. EATCS"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1017\/S0013091500008221"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T20:15:27Z","timestamp":1733429727000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/22M1512612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,3]]},"references-count":69,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12,31]]}},"alternative-id":["10.1137\/22M1512612"],"URL":"https:\/\/doi.org\/10.1137\/22m1512612","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"value":"0097-5397","type":"print"},{"value":"1095-7111","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,3]]}}}