{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T13:34:21Z","timestamp":1772372061832,"version":"3.50.1"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,4,1]],"date-time":"1986-04-01T00:00:00Z","timestamp":512697600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,4]]},"DOI":"10.1007\/bf00268077","type":"journal-article","created":{"date-parts":[[2006,2,19]],"date-time":"2006-02-19T05:14:38Z","timestamp":1140326078000},"page":"99-110","source":"Crossref","is-referenced-by-count":22,"title":["On deciding whether a monoid is a free monoid or is a group"],"prefix":"10.1007","volume":"23","author":[{"given":"F.","family":"Otto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00268077_CR1","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0304-3975(82)90072-X","volume":"18","author":"R.V. Book","year":"1982","unstructured":"Book, R.V.: When is a monoid a group? The Church-Rosser case is tractable. Theor. Comput. Sci. 18, 325\u2013331 (1982)","journal-title":"Theor. Comput. Sci."},{"key":"BF00268077_CR2","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90005-1","volume":"24","author":"R.V. Book","year":"1983","unstructured":"Book, R.V.: Decidable sentences of Church-Rosser congruences. Theor. Comput. Sci. 24, 301\u2013312 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"BF00268077_CR3","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-15976-2_3","volume-title":"Rewriting techniques and applications","author":"R.V. Book","year":"1985","unstructured":"Book, R.V.: Thue systems as rewriting systems. In: Rewriting techniques and applications. (J.P. Jouannaud, ed). Lect. Notes Comput. Sci. 202, pp. 63\u201394. Berlin, Heidelberg, New York: Springer 1985"},{"key":"BF00268077_CR4","volume-title":"Semigroups and combinatorial applications","author":"G. Lallement","year":"1979","unstructured":"Lallement, G.: Semigroups and combinatorial applications. New York, Chichester, Brisbane, Toronto: John Wiley 1979"},{"key":"BF00268077_CR5","volume-title":"Combinatorial group theory","author":"W. Magnus","year":"1976","unstructured":"Magnus, W., Karrass, A., Solitar, D.: Combinatorial group theory, 2nd. rev. ed., New York: Dover 1976","edition":"2nd. rev. ed."},{"key":"BF00268077_CR6","first-page":"953","volume":"77","author":"A.A. Markov","year":"1951","unstructured":"Markov, A.A.: Impossibility of algorithms for recognizing some properties of associative systems. Dokl. Akad. Nauk SSSR 77, 953\u2013956 (1951)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"BF00268077_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.2307\/2266280","volume":"17","author":"A. Mostowski","year":"1952","unstructured":"Mostowski, A.: (Review of Reference 6) J. Symb. Logic 17, 151\u2013152 (1952)","journal-title":"J. Symb. Logic"},{"key":"BF00268077_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0304-3975(85)90016-7","volume":"35","author":"P. Narendran","year":"1985","unstructured":"Narendran, P., Otto, F.: Complexity results on the conjugacy problem for monoids. Theor. Comput. Sci. 35, 227\u2013243 (1985)","journal-title":"Theor. Comput. Sci."},{"key":"BF00268077_CR9","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1016\/0304-3975(84)90090-2","volume":"33","author":"F. Otto","year":"1984","unstructured":"Otto, F.: Some undecidability results for non-monadic Church-Rosser Thue systems. Theor. Comput. Sci. 33, 261\u2013278 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"BF00268077_CR10","doi-asserted-by":"crossref","unstructured":"Otto, F.: Church-Rosser Thue systems that present free monoids. SIAM J. Comput. (To appear)","DOI":"10.1137\/0215056"},{"key":"BF00268077_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01736688","volume":"19","author":"H. Tietze","year":"1908","unstructured":"Tietze, H.: \u00dcber die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten. Monatsh. Math. Phys. 19, 1\u2013118 (1908)","journal-title":"Monatsh. Math. Phys."}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00268077.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00268077\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00268077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T19:21:06Z","timestamp":1554319266000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00268077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,4]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,4]]}},"alternative-id":["BF00268077"],"URL":"https:\/\/doi.org\/10.1007\/bf00268077","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,4]]}}}