{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:04Z","timestamp":1725663184185},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540081388"},{"type":"electronic","value":"9783540373896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1977]]},"DOI":"10.1007\/3-540-08138-0_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:18:44Z","timestamp":1330186724000},"page":"51-72","source":"Crossref","is-referenced-by-count":9,"title":["Higher type program schemes and their tree languages"],"prefix":"10.1007","author":[{"given":"W.","family":"Damm","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,23]]},"reference":[{"key":"5_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":"5_CR2","unstructured":"COURCELLE, B. Ensembles Alg\u00e9briques d'Arbres et Langages D\u00e9terministes; quelques applications aux Sch\u00e9mas de Programme IRIA report 1975"},{"key":"5_CR3","unstructured":"DAMM, W. Higher type schemes and their tree languages to appear"},{"key":"5_CR4","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":"5_CR5","doi-asserted-by":"crossref","unstructured":"INDERMARK, K. Schemes with recursion on higher types in: Mathematical foundations of Computer Science, Proc. 5th conference in Gdansk, Polen, Lecture Notes in Computer Science, 45, 1976","DOI":"10.1007\/3-540-07854-1_198"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"MEZEI, J.\/WRIGHT, J.B. Algebraic automata and context-free sets Inf. and Control, 11, 1967","DOI":"10.1016\/S0019-9958(67)90353-1"},{"key":"5_CR7","volume-title":"Automata, Languages and Programming","author":"M. Nivat","year":"1972","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, 1972"},{"key":"5_CR8","volume-title":"On the interpretation of recursive program schemes Symposia Matematica","author":"M. Nivat","year":"1973","unstructured":"NIVAT, M. On the interpretation of recursive program schemes Symposia Matematica, Atti del convegno d'Informatica teorica, Roma, 1973"},{"key":"5_CR9","volume-title":"Automata, Languages and Programming","author":"M. Wand","year":"1972","unstructured":"WAND, M. A concrete approach to abstract recursive definitions in: Automata, Languages and Programming, ed. M. Nivat, North-Holland Publishing Company, Amsterdam, 1972"},{"key":"5_CR10","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","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08138-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:03Z","timestamp":1605643143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08138-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977]]},"ISBN":["9783540081388","9783540373896"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-08138-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1977]]}}}