{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:39Z","timestamp":1725663219433},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540083429"},{"type":"electronic","value":"9783540373056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08342-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:21:05Z","timestamp":1330186865000},"page":"164-179","source":"Crossref","is-referenced-by-count":9,"title":["Languages defined by higher type program schemes"],"prefix":"10.1007","author":[{"given":"Werner","family":"Damm","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"ADJ: Goguen, J.A.\/Thatcher, J.W.\/Wagner, E.G.\/Wright, J.B. Initial algebra semantics, IBM-report RC 5701, 1975","DOI":"10.1109\/SWAT.1974.13"},{"key":"13_CR2","unstructured":"Courcelle, B. Ensembles alg\u00e9briques d'arbres et langages d\u00e9terministes; quelques applications aux sch\u00e9mas de programme, IRIA report, 1975"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Damm, W. Higher type program schemes and their tree languages, Proc. 3rd GI conference on Theoretical Computer Science, Lecture Notes in Computer Science, 48, Springer Verlag, 1977","DOI":"10.1007\/3-540-08138-0_5"},{"key":"13_CR4","unstructured":"Damm, W. Higher type program schemes, to appear as a technical report of the RWTH Aachen"},{"key":"13_CR5","volume-title":"IO and OI, Datalogisk Afdelning report, DAIMI PB-47","author":"J. Engelfriet","year":"1975","unstructured":"Engelfriet, J.\/Schmidt, E.M. IO and OI, Datalogisk Afdelning report, DAIMI PB-47, Aarhus University, Denmark, 1975"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Fisher, M.J. Grammars with macro-like productions, Proc. 9th IEEE conference on Switching and Automata Theory, 1968","DOI":"10.1109\/SWAT.1968.12"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Indermark, K. Schemes with recursion on higher types, Proc. 5th conference on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 45, Springer Verlag, 1976","DOI":"10.1007\/3-540-07854-1_198"},{"key":"13_CR8","first-page":"409","volume":"8","author":"T. S. E. E. Maibaum","year":"1974","unstructured":"Maibaum, T.S.E. A generalized approach to formal languages, JCSS 8 (1974), 409\u2013439","journal-title":"JCSS"},{"key":"13_CR9","volume-title":"Automata, Languages and Programming","author":"M. Nivat","year":"1973","unstructured":"Nivat, M. Langages alg\u00e9briques sur le magma libre et s\u00e9mantique des sch\u00e9mas de programme, in: Automata, Languages and Programming, ed. M. Nivat, North-Holland Publishing Company, Amsterdam, 1973"},{"key":"13_CR10","unstructured":"Nivat, M. On the interpretation of recursive program schemes, Symposia Matematica, Vol. 15, Academic Press, 1975"},{"key":"13_CR11","volume-title":"Automata, Languages and Programming","author":"M. Wand","year":"1973","unstructured":"Wand, M. A concrete approach to abstract recursive definitions, in: Automata, Languages and Programming, ed. M. Nivat, North-Holland Publishing Company, Amsterdam, 1973"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Wand, M. An algebraic formulation of the Chomsky hierarchy, in: Category Theory applied to Computation and Control, Lecture Notes in Computer Science, 25, 1975","DOI":"10.1007\/3-540-07142-3_84"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08342-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:10Z","timestamp":1605643150000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08342-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540083429","9783540373056"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-08342-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}