{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:56:57Z","timestamp":1781287017106,"version":"3.54.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,4,10]],"date-time":"2010-04-10T00:00:00Z","timestamp":1270857600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s00224-010-9264-9","type":"journal-article","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T12:47:01Z","timestamp":1270817221000},"page":"411-427","source":"Crossref","is-referenced-by-count":12,"title":["Tilings and Submonoids of Metabelian Groups"],"prefix":"10.1007","volume":"48","author":[{"given":"Markus","family":"Lohrey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin","family":"Steinberg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,4,10]]},"reference":[{"issue":"2","key":"9264_CR1","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0022-4049(89)90124-2","volume":"60","author":"J. Almeida","year":"1989","unstructured":"Almeida, J.: Semidirect products of pseudovarieties from the universal algebraist\u2019s point of view. J.\u00a0Pure Appl. Algebra 60(2), 113\u2013128 (1989)","journal-title":"J.\u00a0Pure Appl. Algebra"},{"issue":"10\u201312","key":"9264_CR2","first-page":"695","volume":"11","author":"A.W. Anissimov","year":"1975","unstructured":"Anissimov, A.W., Seifert, F.D.: Zur algebraischen Charakteristik der\u00a0durch kontext-freie Sprachen definierten Gruppen. Elektron. Informationsverarbeit. Kybern. 11(10\u201312), 695\u2013702 (1975)","journal-title":"Elektron. Informationsverarbeit. Kybern."},{"key":"9264_CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/74540.74579","volume-title":"Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation","author":"J. Avenhaus","year":"1989","unstructured":"Avenhaus, J., Wi\u00dfmann, D.: Using rewriting techniques to solve the generalized word problem in polycyclic groups. In: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, pp. 322\u2013337. ACM, New York (1989)"},{"issue":"2","key":"9264_CR4","doi-asserted-by":"crossref","first-page":"629","DOI":"10.2307\/2154499","volume":"344","author":"G. Baumslag","year":"1994","unstructured":"Baumslag, G., Cannonito, F.B., Robinson, D.J.S.: The algorithmic theory of finitely generated metabelian groups. Trans. Am. Math. Soc. 344(2), 629\u2013648 (1994)","journal-title":"Trans. Am. Math. Soc."},{"key":"9264_CR5","first-page":"1188","volume":"269","author":"M. Benois","year":"1969","unstructured":"Benois, M.: Parties rationnelles du groupe libre. C. R. Acad. Sci. Paris, S\u00e9r. A 269, 1188\u20131190 (1969)","journal-title":"C. R. Acad. Sci. Paris, S\u00e9r. A"},{"key":"9264_CR6","first-page":"72","volume":"66","author":"R. Berger","year":"1966","unstructured":"Berger, R.: The undecidability of the domino problem. Mem. Am. Math. Soc. 66, 72 (1966)","journal-title":"Mem. Am. Math. Soc."},{"key":"9264_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09367-1","volume-title":"Transductions and Context\u2013Free Languages","author":"J. Berstel","year":"1979","unstructured":"Berstel, J.: Transductions and Context\u2013Free Languages. Teubner, Stuttgart (1979)"},{"key":"9264_CR8","series-title":"Universitext","volume-title":"The Classical Decision Problem","author":"E. B\u00f6rger","year":"2001","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Universitext. Springer, Berlin (2001)"},{"key":"9264_CR9","volume-title":"Cohomology of Groups","author":"K. Brown","year":"1994","unstructured":"Brown, K.: Cohomology of Groups. Springer, Berlin (1994)"},{"key":"9264_CR10","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0021-8693(69)90070-2","volume":"13","author":"S. Eilenberg","year":"1969","unstructured":"Eilenberg, S., Sch\u00fctzenberger, M.P.: Rational sets in commutative monoids. J.\u00a0Algebra 13, 173\u2013191 (1969)","journal-title":"J.\u00a0Algebra"},{"key":"9264_CR11","volume-title":"Computers and Intractability: A\u00a0Guide to the Theory of NP-completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A\u00a0Guide to the Theory of NP-completeness. Freeman, New York (1979)"},{"key":"9264_CR12","series-title":"DIMACS Ser. Discrete Math. Theoret. Comput. Sci.","first-page":"27","volume-title":"Geometric and Computational Perspectives on Infinite Groups","author":"R.H. Gilman","year":"1996","unstructured":"Gilman, R.H.: Formal languages and infinite groups. In: Geometric and Computational Perspectives on Infinite Groups, Minneapolis, MN and New Brunswick, NJ, 1994. DIMACS Ser. Discrete Math. Theoret. Comput. Sci., vol.\u00a025, pp. 27\u201351. Am. Math. Soc., Providence (1996)"},{"issue":"2","key":"9264_CR13","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1016\/j.jalgebra.2006.05.020","volume":"309","author":"M. Kambites","year":"2007","unstructured":"Kambites, M., Silva, P.V., Steinberg, B.: On the rational subset problem for groups. J.\u00a0Algebra 309(2), 622\u2013639 (2007)","journal-title":"J.\u00a0Algebra"},{"issue":"2","key":"9264_CR14","doi-asserted-by":"crossref","first-page":"728","DOI":"10.1016\/j.jalgebra.2007.08.025","volume":"320","author":"M. Lohrey","year":"2008","unstructured":"Lohrey, M., Steinberg, B.: The submonoid and rational subset membership problems for graph groups. J.\u00a0Algebra 320(2), 728\u2013755 (2008)","journal-title":"J.\u00a0Algebra"},{"key":"9264_CR15","author":"M. Lohrey","year":"2009","unstructured":"Lohrey, M., Steinberg, B.: Submonoids and rational subsets of groups with infinitely many ends. J.\u00a0Algebra (2009). doi: 10.1016\/j.jalgebra.2009.09.040","journal-title":"Submonoids and rational subsets of groups with infinitely many ends"},{"key":"9264_CR16","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1090\/trans2\/119\/08","volume":"119","author":"A.I. Malcev","year":"1983","unstructured":"Malcev, A.I.: On homomorphisms onto finite groups. Am. Math. Soc. Transl., Ser.\u00a02 119, 67\u201379 (1983). Translation from Ivanov. Gos. Ped. Inst. Ucen. Zap. 18, 49\u201360 (1958)","journal-title":"Am. Math. Soc. Transl., Ser.\u00a02"},{"key":"9264_CR17","series-title":"Contemp. Math.","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1090\/conm\/372\/06879","volume-title":"Geometric Methods in Group Theory","author":"S.W. Margolis","year":"2005","unstructured":"Margolis, S.W., Meakin, J., \u0160unik\u0301, Z.: Distortion functions and the membership problem for submonoids of groups and monoids. In Geometric Methods in Group Theory. Contemp. Math., vol.\u00a0372, pp. 109\u2013129. Am. Math. Soc., Providence (2005)"},{"key":"9264_CR18","unstructured":"Myasnikov, A., Roman\u2019kov, V., Ushakov, A., Vershik, A.: The word and geodesic problems in free solvable groups. Technical report, arXiv.org (2008). arXiv: 0807.1032"},{"issue":"2","key":"9264_CR19","first-page":"17","volume":"2000","author":"M. Nedbaj","year":"2000","unstructured":"Nedbaj, M.: The occurrence problem in a rational subset of the free product of groups. Vestn. Omsk. Univ. 2000(2), 17\u201318 (2000)","journal-title":"Vestn. Omsk. Univ."},{"key":"9264_CR20","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"R.M. Robinson","year":"1971","unstructured":"Robinson, R.M.: Undecidability and nonperiodicity for tilings of the plane. Invent. Math. 12, 177\u2013209 (1971)","journal-title":"Invent. Math."},{"key":"9264_CR21","unstructured":"Roman\u2019kov, V.: On the occurrence problem for rational subsets of a group. In V. Roman\u2019kov (ed.) International Conference on Combinatorial and Computational Methods in Mathematics, pp.\u00a076\u201381 (1999)"},{"issue":"3","key":"9264_CR22","first-page":"671","volume":"20","author":"V.A. Roman\u2019kov","year":"1979","unstructured":"Roman\u2019kov, V.A.: Equations in free metabelian groups. Akad. Nauk SSSR, Sib. Otd., Sib. Mat. Zh. 20(3), 671\u2013673, 694 (1979)","journal-title":"Akad. Nauk SSSR, Sib. Otd., Sib. Mat. Zh."},{"issue":"1","key":"9264_CR23","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BF01462922","volume":"13","author":"N.S. Romanovski\u012d","year":"1974","unstructured":"Romanovski\u012d, N.S.: Some algorithmic problems for solvable groups. Algebra Log. 13(1), 26\u201334 (1974)","journal-title":"Algebra Log."},{"key":"9264_CR24","first-page":"170","volume":"21","author":"N.S. Romanovski\u012d","year":"1980","unstructured":"Romanovski\u012d, N.S.: The occurrence problem for extensions of abelian groups by nilpotent groups. Sib. Mat. Zh. 21, 170\u2013174 (1980)","journal-title":"Sib. Mat. Zh."},{"key":"9264_CR25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511574702","volume-title":"Computation with Finitely Presented Groups","author":"C. Sims","year":"1994","unstructured":"Sims, C.: Computation with Finitely Presented Groups. Cambridge University Press, Cambridge (1994)"},{"issue":"2","key":"9264_CR26","first-page":"211","volume":"34","author":"U.U. Umirbaev","year":"1995","unstructured":"Umirbaev, U.U.: The occurrence problem for free solvable groups. Sib. Fond Algebry Log., Algebra Log. 34(2), 211\u2013232, 243 (1995)","journal-title":"Sib. Fond Algebry Log., Algebra Log."}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-010-9264-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-010-9264-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-010-9264-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T11:54:21Z","timestamp":1558698861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-010-9264-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4,10]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9264"],"URL":"https:\/\/doi.org\/10.1007\/s00224-010-9264-9","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,4,10]]}}}