{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:46Z","timestamp":1725662926207},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540074076"},{"type":"electronic","value":"9783540379232"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07407-4_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:57:43Z","timestamp":1330185463000},"page":"42-51","source":"Crossref","is-referenced-by-count":1,"title":["En\u2216En\u22121-entscheidbare Gruppen"],"prefix":"10.1007","author":[{"given":"J.","family":"Avenhaus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Madlener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/1970530","volume":"84","author":"W. W. Boone","year":"1966","unstructured":"Boone W.W., Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Ann. of Math. 84 (1966), 49\u201384.","journal-title":"Ann. of Math."},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"376","DOI":"10.2307\/2270453","volume":"31","author":"F. B. Cannonito","year":"1966","unstructured":"Cannonito F.B., Hierarchies of computable groups and the word problem. J. of Symb. Logic 31 (1966), 376\u2013392.","journal-title":"J. of Symb. Logic"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Cannonito F.B., Gatterdam R.W., The computability of group constructions, Part I, in Word problems. North-Holland (1973), 365\u2013400.","DOI":"10.1016\/S0049-237X(08)71908-6"},{"key":"5_CR4","unstructured":"Davis M., Computability and unsolvability. Mac Graw Hill (1958)."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BFb0058930","volume":"319","author":"R. W. Gatterdam","year":"1973","unstructured":"Gatterdam R.W., The Higman theorem for En (A) computable groups, in Lecture Notes Math. 319, Springer (1973), 71\u201374.","journal-title":"Lecture Notes Math."},{"key":"5_CR6","unstructured":"von Henke, Weihrauch, Indermark, Hierarchies of primitive recursive wordfunctions and transductions defined by automata, in Nivat (Ed.), IRIA Symposium July 3\u20137 (1972)."},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1002\/malq.19720180405","volume":"18","author":"A. Meyer","year":"1972","unstructured":"Meyer A., Ritchie D., A classification of the recursive functions, Z. math. Logik, Grundlagen d. Math. 18 (1972), 71\u201382.","journal-title":"Z. math. Logik, Grundlagen d. Math."},{"key":"5_CR8","unstructured":"Rotman J.J., The theory of groups, 2. Edition, Allyn & Bacon (1973)."},{"key":"5_CR9","unstructured":"Weihrauch K., Teilklassen primitiv-rekursiver Wortfunktionen, GMD Berichte, Bonn, Nr. 91 (1974)."}],"container-title":["Lecture Notes in Computer Science","Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20\u201323, 1975"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07407-4_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:57:36Z","timestamp":1605643056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07407-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540074076","9783540379232"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-07407-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}