{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,24]],"date-time":"2023-11-24T13:19:11Z","timestamp":1700831951858},"reference-count":23,"publisher":"Wiley","issue":"12","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":10543,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1978,1]]},"DOI":"10.1002\/malq.19780241202","type":"journal-article","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T21:54:05Z","timestamp":1180389245000},"page":"177-186","source":"Crossref","is-referenced-by-count":2,"title":["Kanonische Abbildungen und Eilenberg\u2010Maschinen"],"prefix":"10.1002","volume":"24","author":[{"given":"Dietrich","family":"Schwartz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"31","article-title":"Rekursive Wortfunktionen","volume":"6","author":"Asser G.","year":"1960","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_3_2","first-page":"31","article-title":"Funktionen\u2010Algorithmen und Graphschemata","volume":"7","author":"Asser G.","year":"1961","journal-title":"Diese Zeitschr."},{"key":"e_1_2_1_4_2","first-page":"7","volume-title":"Kompliziertheit von Lern\u2010 und Erkennungsprozessen","author":"Asser G.","year":"1975"},{"key":"e_1_2_1_5_2","first-page":"31","article-title":"Berechenbare Graphenabbildungen II","volume":"23","author":"Asser G.","year":"1974","journal-title":"Wiss. Z. Ernst\u2010Moritz\u2010Arndt\u2010Univ. Greifswald, math.\u2010naturw. R."},{"key":"e_1_2_1_6_2","article-title":"Algorithmically definable functions (A contribution towards the semantics of programming languages)","volume":"85","author":"Blikle A.","year":"1971","journal-title":"Dissertationes math."},{"key":"e_1_2_1_7_2","unstructured":"Eilenberg S. undC. C.Elgot Recursiveness. New York London1970."},{"key":"e_1_2_1_8_2","unstructured":"Eilenberg S. Automata languages and machines Bd. A. New York London1974."},{"key":"e_1_2_1_9_2","series-title":"Lecture Notes in Mathematics 188","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0059689","volume-title":"Symposium on Semantics of Algorithmic Languages","author":"Engeler E.","year":"1971"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059695"},{"key":"e_1_2_1_11_2","first-page":"31","volume":"3","year":"1960","journal-title":"[Russion Text Ignored.]"},{"key":"e_1_2_1_12_2","first-page":"31","volume":"8","year":"1962","journal-title":"[Russion Text Ignored.]"},{"key":"e_1_2_1_13_2","unstructured":"Halmos P. R. Algebraic logic. New York1962."},{"key":"e_1_2_1_14_2","volume-title":"Cylindric algebras I","author":"Henkin L.","year":"1971"},{"key":"e_1_2_1_15_2","first-page":"31","volume":"2","year":"1959","journal-title":"[Russion Text Ignored.]"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1746-8361.1958.tb01470.x"},{"key":"e_1_2_1_17_2","unstructured":"P\u00e9ter R. \u00dcber die Partiell\u2010Rekursivit\u00e4t der durch Graphschemata definierten zahlentheore\u2010tischen Funktionen. Annales Universitatis Scientiarum Budapestinensis de Rolando E\u00f6tv\u00f6s nominatae Sectio Mathematica Tomus II (1959) 31\u201348."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059703"},{"key":"e_1_2_1_19_2","doi-asserted-by":"crossref","unstructured":"Scott D. Models for various type\u2010free calculi. In: Suppes P. (Hrsg.) Logic methodology and philosophy of science IV. Amsterdam1973 157\u2013187.","DOI":"10.1016\/S0049-237X(09)70356-8"},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"Scott D. Lambda calculus and recursion theory. In: Kanger S. (Hrsg.) Proceedings of the Third Scandinavian Logic Symposium. Amsterdam\u2010Oxford\u2010New York1975 154\u2013193.","DOI":"10.1016\/S0049-237X(08)70730-4"},{"key":"e_1_2_1_21_2","series-title":"Kiel 1974. Lecture Notes 499","first-page":"579","volume-title":"Proceedings of the International Summer Institute and Logic Colloquium","author":"Scott D.","year":"1976"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/321160.321170"},{"key":"e_1_2_1_23_2","first-page":"705","volume-title":"Some notions and methods on the borderline of algebra and metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., 30. August\u20136. September 1950","author":"Tarski A.","year":"1952"},{"key":"e_1_2_1_24_2","unstructured":"Thiele H. Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen I. Berlin1966."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19780241202","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19780241202","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,4]],"date-time":"2023-11-04T00:38:09Z","timestamp":1699058289000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19780241202"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,1]]},"references-count":23,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1978,1]]}},"alternative-id":["10.1002\/malq.19780241202"],"URL":"https:\/\/doi.org\/10.1002\/malq.19780241202","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1978,1]]}}}