{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:47:17Z","timestamp":1764557237881,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228233"},{"type":"electronic","value":"9783540286295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-28629-5_48","type":"book-chapter","created":{"date-parts":[[2010,12,17]],"date-time":"2010-12-17T17:59:50Z","timestamp":1292608790000},"page":"623-634","source":"Crossref","is-referenced-by-count":5,"title":["Membership and Reachability Problems for Row-Monomial Transformations"],"prefix":"10.1007","author":[{"given":"Alexei","family":"Lisitsa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Potapov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Babai, L., Beals, R., Cai, J., Ivanyos, G., Luks, E.M.: Multiplicative equations over commuting matrices. In: ACM-SIAM symposium on Discrete algorithms, pp. 28\u201330 (1996)"},{"key":"48_CR2","unstructured":"Bestel, J., Karhumaki, J.: Combinatorics on Words - A Tutorial. Bulletin of the EATCS, 178\u2013228 (February 2003)"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Cai, J.-y., Lipton, R.J., Zalcstein, Y.: The complexity of the membership problem for 2-generated commutative semigroups of rational matrices. In: 35th Annual Symposium on Foundations of Computer Science, pp. 135\u2013142 (1994)","DOI":"10.1109\/SFCS.1994.365699"},{"issue":"1","key":"48_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0304-3975(98)00029-2","volume":"204","author":"J. Cassaigne","year":"1998","unstructured":"Cassaigne, J., Karhumaki, J.: Examples of undecidable problems for 2-generator matrix semigroups. Theoretical Computer Science\u00a0204(1), 29\u201334 (1998)","journal-title":"Theoretical Computer Science"},{"key":"48_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/BFb0028751","volume-title":"Computer Aided Verification","author":"H. Comon","year":"1998","unstructured":"Comon, H., Jurski, Y.: Multiple counters automata, safety analysis and Presburger arithmetic. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 268\u2013279. Springer, Heidelberg (1998)"},{"issue":"1","key":"48_CR6","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1006\/inco.1994.1067","volume":"113","author":"E. Contejean","year":"1994","unstructured":"Contejean, E., Devie, H.: An efficient algorithm for solving systems of Diophantine equations. Information and Computation\u00a0113(1), 143\u2013172 (1994)","journal-title":"Information and Computation"},{"key":"48_CR7","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Principles and Practice of Constraint Programming - CP \u201995","author":"E. Contekean","year":"1995","unstructured":"Contekean, E., Ajil, F.: Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol.\u00a0976, pp. 1\u201317. Springer, Heidelberg (1995)"},{"key":"48_CR8","volume-title":"The algebraic theory of semigroups","author":"A.H. Clifford","year":"1961","unstructured":"Clifford, A.H., Preston, G.B.: The algebraic theory of semigroups, vol.\u00a0I. American Mathematical Society, Providence, Rhode Island (1961)"},{"key":"48_CR9","doi-asserted-by":"crossref","unstructured":"Esparza, J., Finkel, A., Mayr, R.: On the Verification of Broadacst Protocols. In: Proc. LICS 1999, pp. 352\u2013359 (1999)","DOI":"10.1109\/LICS.1999.782630"},{"key":"48_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-36206-1_14","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"A. Finkel","year":"2002","unstructured":"Finkel, A., Leroux, J.: How to compose Presburger-accelerations: Applications to broadcast protocols. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol.\u00a02556, pp. 145\u2013156. Springer, Heidelberg (2002)"},{"key":"48_CR11","volume-title":"The Mathematical Theory of Context-Free Languages","author":"S. Ginsburg","year":"1966","unstructured":"Ginsburg, S.: The Mathematical Theory of Context-Free Languages. McGraw-Hill, New York (1966)"},{"issue":"7","key":"48_CR12","doi-asserted-by":"publisher","first-page":"649","DOI":"10.2307\/2695274","volume":"108","author":"V. Halava","year":"2001","unstructured":"Halava, V., Harju, T.: Mortality in Matrix Semigroups. American Mathematical Monthly\u00a0108(7), 649\u2013653 (2001)","journal-title":"American Mathematical Monthly"},{"issue":"4","key":"48_CR13","doi-asserted-by":"publisher","first-page":"808","DOI":"10.1145\/6490.6496","volume":"33","author":"R. Kannan","year":"1986","unstructured":"Kannan, R., Lipton, R.J.: Polynomial-time algorithm for the orbit problem. Journal of the ACM (JACM)\u00a033(4), 808\u2013821 (1986)","journal-title":"Journal of the ACM (JACM)"},{"key":"48_CR14","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R. Parikh","year":"1966","unstructured":"Parikh, R.: On context-free languages. J. ACM\u00a013, 570\u2013581 (1966)","journal-title":"J. ACM"},{"key":"48_CR15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/sapm1970491105","volume":"49","author":"M. Paterson","year":"1970","unstructured":"Paterson, M.: Unsolvability in 3 \u00d7 3 matrices. Studies in Applied Mathematics\u00a049, 105\u2013107 (1970)","journal-title":"Studies in Applied Mathematics"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28629-5_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T23:03:08Z","timestamp":1740783788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28629-5_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228233","9783540286295"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28629-5_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}