{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:56:16Z","timestamp":1725652576428},"publisher-location":"Wiesbaden","reference-count":11,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783528057206"},{"type":"electronic","value":"9783322830920"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-322-83092-0_7","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T10:14:35Z","timestamp":1326708875000},"page":"118-143","source":"Crossref","is-referenced-by-count":0,"title":["Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Indermark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"J.M. Cadiou. Recursive Definitions of Partial Functions and Their Computation. PhD thesis, Stanford University, 1972.","DOI":"10.1145\/800235.807072"},{"key":"7_CR2","doi-asserted-by":"crossref","first-page":"253","DOI":"10.3233\/FI-1997-313404","volume":"31","author":"O Chitil","year":"1997","unstructured":"O. Chitil. The \u03c2-semantics: A comprehensive semantics for functional programs. Fundamenta Informaticae, 31:253\u2013294, 1997.","journal-title":"Fundamenta Informaticae"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0304-3975(76)90031-1","volume":"2","author":"JW deBakker","year":"1976","unstructured":"J.W. deBakker. Least fixed points revisited. Theor. Computer Science, 2:155\u2013181, 1976.","journal-title":"Theor. Computer Science"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"JA Goguen","year":"1977","unstructured":"J.A. Goguen, J.W. Thatcher, E.G. Wagner, and J.B. Wright. Initial algebra semantics and continuous algebras. Journal ACM, 24:68\u201395, 1977.","journal-title":"Journal ACM"},{"key":"7_CR5","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"S.C. Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952."},{"key":"7_CR6","volume-title":"Mathematical Theory of Computation","author":"Z Manna","year":"1974","unstructured":"Z. Manna. Mathematical Theory of Computation. McGraw-Hill, New York, 1974."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/361454.361460","volume":"15","author":"Z Manna","year":"1972","unstructured":"Z. Manna and J. Vuillemin. Fixpoint approach to the theory of computation. Comm. ACM, 15:528\u2013536, 1972.","journal-title":"Comm. ACM"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1145\/367177.367199","volume":"3","author":"J McCarthy","year":"1960","unstructured":"J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part i. Comm. ACM, 3:184\u2013195, 1960.","journal-title":"Comm. ACM"},{"key":"7_CR9","unstructured":"D. Scott. Outline of a mathematical theory of computation. In Proc. of the 4th Annual Princeton Conference on Information Sciences and Systems, pages 169-176, Princeton, 1970."},{"key":"7_CR10","unstructured":"D. Scott and C. Strachey. Towards a mathematical semantics for computer languages. In J. Fox, editor, Proc. Symp. Computers and Automata, pages 19-46, 1971."},{"key":"7_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G Winskel","year":"1993","unstructured":"G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, Cambridge, Mass., 1993."}],"container-title":["Angewandte Mathematik, insbesondere Informatik"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-83092-0_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,10]],"date-time":"2020-12-10T16:05:55Z","timestamp":1607616355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-322-83092-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783528057206","9783322830920"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-83092-0_7","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}