{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:55Z","timestamp":1725662875031},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108283"},{"type":"electronic","value":"9783540387169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10828-9_66","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:25:40Z","timestamp":1330190740000},"page":"238-254","source":"Crossref","is-referenced-by-count":1,"title":["Calcul du rang des \u2211-arbres infinis regulers"],"prefix":"10.1007","author":[{"given":"G.","family":"Jacob","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"16_CR1","first-page":"3","volume":"6","author":"J. Arsac","year":"1974","unstructured":"ARSAC J., NOLIN L., RUGGIU G., VASSEUR J.P., \"Le syst\u00e8me de Programmation EXEL\", Revue technique Thompson-CSF, vol. 6, 3 (1974).","journal-title":"Revue technique Thompson-CSF"},{"key":"16_CR2","unstructured":"COUSINEAU G., \"Trans formations de programmes it\u00e9ratifs\", in Programmation, Proc. of the 2nd international symposium on Programming, B. Robinet Ed., Paris (1976-DUNOD) 53\u201374."},{"key":"16_CR3","unstructured":"COUSINEAU G., \"Arbres \u00e0 feuilles indici\u00e9es et transfonmations de programmes\", Th\u00e8se es Sci-Math\u00e9matiques, Universit\u00e9 de Paris VII (1977)."},{"key":"16_CR4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0304-3975(80)90028-6","volume":"12","author":"G. Cousineau","year":"1980","unstructured":"COUSINEAU G., \"An algebraic definition for control structures\", Theoretical computer Science 12 (1980) 175\u2013192.","journal-title":"Theoretical computer Science"},{"key":"16_CR5","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/S0022-0000(76)80003-7","volume":"12","author":"S.L. Bloom","year":"1976","unstructured":"BLOOM S.L., ELGOT C.C., \"The existence and Construction of fnee iterative theories\", J. Comput. Syst. Sci. 12 (1976) 305\u2013318.","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/0022-0000(78)90024-7","volume":"16","author":"C.C. Elgot","year":"1978","unstructured":"ELGOT C.C., BLOOM S.L., TINDELL R., \"On the algebraic structure of Rooted Trees\", J. Comput. Syst. Sci. 16 (1978) 362\u2013399.","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR7","first-page":"82","volume":"1","author":"I.I. Ianov","year":"1960","unstructured":"IANOV I.I., \"The logical schemes of algorithms\", Problemy Kibernet., 1 (1960) 82\u2013140.","journal-title":"Problemy Kibernet."},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0022-0000(74)80006-1","volume":"9","author":"T. Kasai","year":"1974","unstructured":"KASAI T., \"Translatability of flowcharts into UHILE programs\", J. Comput. Syst. Sci. 9 (1974) 177\u2013195.","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/S0022-0000(74)80043-7","volume":"9","author":"R. Kosaraju","year":"1974","unstructured":"KOSARAJU R., \"Analysis of structured programs\", J. Comput. Syst. Sci., 9 (1974) 232\u2013255.","journal-title":"J. Comput. Syst. Sci."},{"key":"16_CR10","unstructured":"JACOB G. \"Structural Invariants fon some classes of structured orograms\", MFCS 78, Zakopane (Poland); Lect-Notes in Comput. Sci. no\n64."}],"container-title":["Lecture Notes in Computer Science","CAAP '81"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10828-9_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:39:04Z","timestamp":1619555944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10828-9_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108283","9783540387169"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-10828-9_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}