{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:52:27Z","timestamp":1764557547574,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404038","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"122-129","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices"],"prefix":"10.1145","author":[{"given":"Volker","family":"Diekert","sequence":"first","affiliation":[{"name":"Universit\u00e4t Stuttgart, Stuttgart, Germany"}]},{"given":"Igor","family":"Potapov","sequence":"additional","affiliation":[{"name":"University of Liverpool, Liverpool, United Kingfom"}]},{"given":"Pavel","family":"Semukhin","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingfom"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02088289"},{"key":"e_1_3_2_1_2_1","first-page":"695","article-title":"Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen","volume":"11","author":"Anisimow Anatolij V.","year":"1975","unstructured":"Anatolij V. Anisimow and Franz D. Seifert . 1975 . Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen . Elektron. Inf.-Verarbeit. Kybernetik 11 (1975), 695 -- 702 . Anatolij V. Anisimow and Franz D. Seifert. 1975. Zur algebraischen Charakteristik der durch kontext-freie Sprachen definierten Gruppen. Elektron. Inf.-Verarbeit. Kybernetik 11 (1975), 695--702.","journal-title":"Elektron. Inf.-Verarbeit. Kybernetik"},{"volume-title":"Proc. 7th SODA. 498--507","author":"Babai L\u00e1szl\u00f3","key":"e_1_3_2_1_3_1","unstructured":"L\u00e1szl\u00f3 Babai , Robert Beals , Jin-yi Cai, G\u00e1bor Ivanyos , and Eugene M. Luks . 1996. Multiplicative Equations over Commuting Matrices . In Proc. 7th SODA. 498--507 . L\u00e1szl\u00f3 Babai, Robert Beals, Jin-yi Cai, G\u00e1bor Ivanyos, and Eugene M. Luks. 1996. Multiplicative Equations over Commuting Matrices. In Proc. 7th SODA. 498--507."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9904-1962-10745-9"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.4153\/CJM-1968-144-7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196708004925"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2019.83"},{"volume-title":"Proc. SODA'17","author":"Bell P. C.","key":"e_1_3_2_1_8_1","unstructured":"P. C. Bell , M. Hirvensalo , and I. Potapov . 2017. The identity problem for matrix semigroups in SL2 (Z) is NP-complete . In Proc. SODA'17 . SIAM, 187--206. P. C. Bell, M. Hirvensalo, and I. Potapov. 2017. The identity problem for matrix semigroups in SL2 (Z) is NP-complete. In Proc. SODA'17. SIAM, 187--206."},{"key":"e_1_3_2_1_9_1","first-page":"1188","article-title":"Parties rationelles du groupe libre","volume":"269","author":"Benois Mich\u00e8le","year":"1969","unstructured":"Mich\u00e8le Benois . 1969 . Parties rationelles du groupe libre . C. R. Acad. Sci. Paris, S\u00e9r. A 269 (1969), 1188 -- 1190 . Mich\u00e8le Benois. 1969. Parties rationelles du groupe libre. C. R. Acad. Sci. Paris, S\u00e9r. A 269 (1969), 1188--1190.","journal-title":"C. R. Acad. Sci. Paris, S\u00e9r. A"},{"volume-title":"Rational subsets of Baumslag-Solitar groups. To appear: Proc. of the 47th ICALP 2020 in LIPIcs","author":"Cadilhac Micha\u00ebl","key":"e_1_3_2_1_10_1","unstructured":"Micha\u00ebl Cadilhac , Dmitry Chistikov , and Georg Zetzsche . 2020. Rational subsets of Baumslag-Solitar groups. To appear: Proc. of the 47th ICALP 2020 in LIPIcs . Micha\u00ebl Cadilhac, Dmitry Chistikov, and Georg Zetzsche. 2020. Rational subsets of Baumslag-Solitar groups. To appear: Proc. of the 47th ICALP 2020 in LIPIcs."},{"key":"e_1_3_2_1_11_1","unstructured":"J. Cassaigne V. Halava T. Harju and F. Nicolas. 2014. Tighter Undecidability Bounds for Matrix Mortality Zero-in-the-Corner Problems and More. arXiv eprints abs\/1404.0644 (2014).  J. Cassaigne V. Halava T. Harju and F. Nicolas. 2014. Tighter Undecidability Bounds for Matrix Mortality Zero-in-the-Corner Problems and More. arXiv eprints abs\/1404.0644 (2014)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.03.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2019.110"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2019.44"},{"key":"e_1_3_2_1_15_1","volume-title":"Decidability of membership problems for flat rational subsets of GL(2,Q) and singular matrices. arXiv eprints abs\/1910.02302","author":"Diekert Volker","year":"2019","unstructured":"Volker Diekert , Igor Potapov , and Pavel Semukhin . 2019. Decidability of membership problems for flat rational subsets of GL(2,Q) and singular matrices. arXiv eprints abs\/1910.02302 ( 2019 ). Volker Diekert, Igor Potapov, and Pavel Semukhin. 2019. Decidability of membership problems for flat rational subsets of GL(2,Q) and singular matrices. arXiv eprints abs\/1910.02302 (2019)."},{"key":"e_1_3_2_1_16_1","unstructured":"S. Eilenberg. 1974. Automata Languages and Machines. Vol. A. Academic Press.  S. Eilenberg. 1974. Automata Languages and Machines. Vol. A. Academic Press."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90070-2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9730-4_9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1137\/050643295"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02737-6_3"},{"key":"e_1_3_2_1_22_1","unstructured":"J. Hillman. 2007. Commensurators and deficiency. (2007). http:\/\/www.maths.usyd.edu.au\/u\/pubs\/publist\/preprints\/2007\/hillman-18.pdf  J. Hillman. 2007. Commensurators and deficiency. (2007). http:\/\/www.maths.usyd.edu.au\/u\/pubs\/publist\/preprints\/2007\/hillman-18.pdf"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/0208040"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"S. Kleene. 1956. Representation of events in nerve nets and finite automata. In Automata Studies. Number 34 in Annals of Mathematics Studies. 3--40.  S. Kleene. 1956. Representation of events in nerve nets and finite automata. In Automata Studies. Number 34 in Annals of Mathematics Studies. 3--40.","DOI":"10.1515\/9781400882618-002"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2018.132"},{"key":"e_1_3_2_1_26_1","volume-title":"Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. arXiv eprints abs\/1507.05145","author":"K\u00f6nig Daniel","year":"2015","unstructured":"Daniel K\u00f6nig , Markus Lohrey , and Georg Zetzsche . 2015. Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. arXiv eprints abs\/1507.05145 ( 2015 ). Daniel K\u00f6nig, Markus Lohrey, and Georg Zetzsche. 2015. Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. arXiv eprints abs\/1507.05145 (2015)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2007.08.025"},{"volume-title":"Combinatorial Group Theory","author":"Lyndon Roger","key":"e_1_3_2_1_28_1","unstructured":"Roger Lyndon and Paul Schupp . 2001. Combinatorial Group Theory . Springer . Roger Lyndon and Paul Schupp. 2001. Combinatorial Group Theory. Springer."},{"key":"e_1_3_2_1_29_1","first-page":"539","article-title":"On certain insoluble problems concerning matrices","volume":"57","author":"Markov A.","year":"1947","unstructured":"A. Markov . 1947 . On certain insoluble problems concerning matrices . Dok. Akad. Nauk SSSR 57 (1947), 539 -- 542 . A. Markov. 1947. On certain insoluble problems concerning matrices. Dok. Akad. Nauk SSSR 57 (1947), 539--542.","journal-title":"Dok. Akad. Nauk SSSR"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"J. D. McKnight. 1964. Kleene quotient theorem. Pac. J. Math. (1964) 1343--1352.  J. D. McKnight. 1964. Kleene quotient theorem. Pac. J. Math. (1964) 1343--1352.","DOI":"10.2140\/pjm.1964.14.1343"},{"key":"e_1_3_2_1_31_1","first-page":"1103","article-title":"The occurrence problem for direct products of groups","volume":"119","author":"Mihailova K. A.","year":"1958","unstructured":"K. A. Mihailova . 1958 . The occurrence problem for direct products of groups . Dokl. Akad. Nauk SSSR 119 (1958), 1103 -- 1105 . English translation in: Math. USSR Sbornik, 70: 241--251, 1966. K. A. Mihailova. 1958. The occurrence problem for direct products of groups. Dokl. Akad. Nauk SSSR 119 (1958), 1103--1105. English translation in: Math. USSR Sbornik, 70: 241--251, 1966.","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1255632506"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.4230\/DagRep.9.3.83"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611974782.12"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. 42nd MFCS. 44:1--44:13","author":"Potapov Igor","year":"2017","unstructured":"Igor Potapov and Pavel Semukhin . 2017 . Membership Problem in GL(2, Z) Extended by Singular Matrices . In Proc. 42nd MFCS. 44:1--44:13 . Igor Potapov and Pavel Semukhin. 2017. Membership Problem in GL(2, Z) Extended by Singular Matrices. In Proc. 42nd MFCS. 44:1--44:13."},{"key":"e_1_3_2_1_36_1","volume-title":"Some algorithmic problems for solvable groups. Algebra i Logika 13","author":"Romanovski\u012d Nikolay S.","year":"1974","unstructured":"Nikolay S. Romanovski\u012d . 1974. Some algorithmic problems for solvable groups. Algebra i Logika 13 ( 1974 ), 26--34, 121. Nikolay S. Romanovski\u012d. 1974. Some algorithmic problems for solvable groups. Algebra i Logika 13 (1974), 26--34, 121."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023848"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050045"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Jean-Pierre Serre. 1980. Trees. Springer.  Jean-Pierre Serre. 1980. Trees. Springer.","DOI":"10.1007\/978-3-642-61856-7"},{"key":"e_1_3_2_1_40_1","first-page":"195","article-title":"Recognizable subsets of a group: finite extensions and the abelian case","volume":"77","author":"Silva Pedro V.","year":"2002","unstructured":"Pedro V. Silva . 2002 . Recognizable subsets of a group: finite extensions and the abelian case . Bulletin EATCS 77 (2002), 195 -- 215 . Pedro V. Silva. 2002. Recognizable subsets of a group: finite extensions and the abelian case. Bulletin EATCS 77 (2002), 195--215.","journal-title":"Bulletin EATCS"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"crossref","unstructured":"P. V. Silva. 2017. An Automata-Theoretic Approach to the Study of Fixed Points of Endomorphisms. In Algorithmic and Geometric Topics Around Free Groups and Automorphisms J. Gonz\u00e1lez-Meneses M. Lustig and E. Ventura (Eds.). Birkh\u00e4user.  P. V. Silva. 2017. An Automata-Theoretic Approach to the Study of Fixed Points of Endomorphisms. In Algorithmic and Geometric Topics Around Free Groups and Automorphisms J. Gonz\u00e1lez-Meneses M. Lustig and E. Ventura (Eds.). Birkh\u00e4user.","DOI":"10.1007\/978-3-319-60940-9_1"}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Kalamata Greece","acronym":"ISSAC '20"},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404038","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404038","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:46Z","timestamp":1750203886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404038"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":40,"alternative-id":["10.1145\/3373207.3404038","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404038","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}