{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:19:51Z","timestamp":1725560391590},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540287025"},{"type":"electronic","value":"9783540318675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11549345_57","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T10:05:47Z","timestamp":1127815547000},"page":"664-675","source":"Crossref","is-referenced-by-count":3,"title":["Inverse Monoids: Decidability and Complexity of Algebraic Questions"],"prefix":"10.1007","author":[{"given":"Markus","family":"Lohrey","sequence":"first","affiliation":[]},{"given":"Nicole","family":"Ondrusch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"57_CR1","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0304-3975(92)00063-W","volume":"123","author":"J.-C. Birget","year":"1994","unstructured":"Birget, J.-C., Margolis, S.W., Meakin, J.: The word problem for inverse monoids presented by one idempotent relator. Theoretical Computer Science\u00a0123(2), 273\u2013289 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"57_CR2","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J.: Alternation. Journal of the Association for Computing Machinery\u00a028(1), 114\u2013133 (1981)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"57_CR3","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1142\/9789812384720_0005","volume-title":"Handbook of graph grammars and computing by graph transformation","author":"B. Courcelle","year":"1997","unstructured":"Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Handbook of graph grammars and computing by graph transformation, Foundations, vol.\u00a01, pp. 313\u2013400. World Scientific, Singapore (1997)"},{"issue":"1","key":"57_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s002330010162","volume":"66","author":"A.V. Kelarev","year":"2003","unstructured":"Kelarev, A.V., Quinn, S.J.: A combinatorial property and Cayley graphs of semigroups. Semigroup Forum\u00a066(1), 89\u201396 (2003)","journal-title":"Semigroup Forum"},{"key":"57_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/10722167_7","volume-title":"Computer Aided Verification","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Vardi, M.Y.: An automata-theoretic approach to reasoning about infinite-state systems. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 36\u201352. Springer, Heidelberg (2000)"},{"issue":"1\u20133","key":"57_CR6","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.apal.2004.06.002","volume":"131","author":"D. Kuske","year":"2005","unstructured":"Kuske, D., Lohrey, M.: Logical aspects of Cayley-graphs: the group case. Annals of Pure and Applied Logic\u00a0131(1\u20133), 263\u2013286 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"key":"57_CR7","doi-asserted-by":"crossref","unstructured":"Kuske, D., Lohrey, M.: Logical aspects of Cayley-graphs: the monoid case. International Journal of Algebra and Computation (2005) (to appear)","DOI":"10.1142\/S0218196706003001"},{"key":"57_CR8","unstructured":"Lohrey, M., Ondrusch, N.: Inverse monoids: decidability and complexity of algebraic questions. Technical Report 2005\/2, University of Stuttgart, Germany (2005), Available via, ftp:\/\/ftp.informatik.uni-stuttgart.de\/pub\/library\/ncstrl.ustuttgart_fi\/TR-2005-02\/"},{"key":"57_CR9","volume-title":"Combinatorial Group Theory","author":"R.C. Lyndon","year":"1977","unstructured":"Lyndon, R.C., Schupp, P.E.: Combinatorial Group Theory. Springer, Heidelberg (1977)"},{"issue":"1","key":"57_CR10","doi-asserted-by":"publisher","first-page":"259","DOI":"10.2307\/2154268","volume":"335","author":"S. Margolis","year":"1993","unstructured":"Margolis, S., Meakin, J.: Inverse monoids, trees, and context-free languages. Trans. Amer. Math. Soc.\u00a0335(1), 259\u2013276 (1993)","journal-title":"Trans. Amer. Math. Soc."},{"key":"57_CR11","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-94-011-0149-3_6","volume-title":"Semigroups, Formal Languages and Groups","author":"S. Margolis","year":"1995","unstructured":"Margolis, S., Meakin, J., Sapir, M.: Algorithmic problems in groups, semigroups and inverse semigroups. In: Semigroups, Formal Languages and Groups, pp. 147\u2013214. Kluwer, Dordrecht (1995)"},{"key":"57_CR12","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0022-0000(83)90003-X","volume":"26","author":"D.E. Muller","year":"1983","unstructured":"Muller, D.E., Schupp, P.E.: Groups, the theory of ends, and context-free languages. Journal of Computer and System Sciences\u00a026, 295\u2013310 (1983)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"57_CR13","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0304-3975(85)90087-8","volume":"37","author":"D.E. Muller","year":"1985","unstructured":"Muller, D.E., Schupp, P.E.: The theory of ends, pushdown automata, and second-order logic. Theoretical Computer Science\u00a037(1), 51\u201375 (1985)","journal-title":"Theoretical Computer Science"},{"key":"57_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1112\/plms\/s3-29.3.385","volume":"30","author":"W. Munn","year":"1974","unstructured":"Munn, W.: Free inverse semigroups. Proc. London Math. Soc.\u00a030, 385\u2013404 (1974)","journal-title":"Proc. London Math. Soc."},{"key":"57_CR15","volume-title":"Inverse semigroups","author":"M. Petrich","year":"1984","unstructured":"Petrich, M.: Inverse semigroups. Wiley, Chichester (1984)"},{"key":"57_CR16","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society\u00a0141, 1\u201335 (1969)","journal-title":"Transactions of the American Mathematical Society"},{"key":"57_CR17","doi-asserted-by":"publisher","first-page":"860","DOI":"10.1007\/BF00969107","volume":"26","author":"B.V. Rozenblat","year":"1985","unstructured":"Rozenblat, B.V.: Diophantine theories of free inverse semigroups. Siberian Mathematical Journal\u00a026, 860\u2013865 (1985) (English translation)","journal-title":"Siberian Mathematical Journal"},{"key":"57_CR18","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/qmath\/hah006","volume":"55","author":"P.V. Silva","year":"2004","unstructured":"Silva, P.V., Steinberg, B.: A geometric characterization of automatic monoids. Quarterly J. Mathematics\u00a055, 333\u2013356 (2004)","journal-title":"Quarterly J. Mathematics"},{"issue":"2","key":"57_CR19","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1006\/inco.2000.2894","volume":"164","author":"I. Walukiewicz","year":"2001","unstructured":"Walukiewicz, I.: Pushdown processes: Games and model-checking. Information and Computation\u00a0164(2), 234\u2013263 (2001)","journal-title":"Information and Computation"},{"key":"57_CR20","first-page":"407","volume":"27","author":"B. Zelinka","year":"1981","unstructured":"Zelinka, B.: Graphs of semigroups. Casopis.\u00a0Pest.\u00a0Mat.\u00a027, 407\u2013408 (1981)","journal-title":"Casopis.\u00a0Pest.\u00a0Mat."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11549345_57.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:41:21Z","timestamp":1605624081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11549345_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287025","9783540318675"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11549345_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}