{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:05Z","timestamp":1725663365697},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540127277"},{"type":"electronic","value":"9783540387145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-12727-5_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:55:23Z","timestamp":1330192523000},"page":"405-416","source":"Crossref","is-referenced-by-count":0,"title":["Cofinality in reduction graphs"],"prefix":"10.1007","author":[{"given":"M. Venturini","family":"Zilli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"26_CR1","volume-title":"The Lambda Calculus. Its Syntax and Semantics","author":"H. P. Barendregt","year":"1981","unstructured":"H.P. Barendregt, The Lambda Calculus. Its Syntax and Semantics (North-Holland, Amsterdam 1981)."},{"key":"26_CR2","unstructured":"A. Church, The Calculi of Lambda Conversion (Princeton University Press, 1941)."},{"key":"26_CR3","volume-title":"Combinatory Logic, vol. I","author":"H. B. Curry","year":"1958","unstructured":"H.B. Curry, R. Feys, Combinatory Logic, vol. I (North-Holland, Amsterdam 1958)."},{"key":"26_CR4","volume-title":"Combinatory Logic, vol. II","author":"H. B. Curry","year":"1972","unstructured":"H.B. Curry, J.R. Hindley, J.P. Seldin, Combinatory Logic, vol. II (North-Holland, Amsterdam 1972)."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"F. Harary, Graph Theory (addison-Wesley Pub. Co. 1969).","DOI":"10.21236\/AD0705364"},{"key":"26_CR6","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"J. W. Klop","year":"1980","unstructured":"J.W. Klop, Reduction Cycles in Combinatory Logic, in: J.P. Seldin and J.R. Hindley, Eds., To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (Academic Press, London 1980)."},{"key":"26_CR7","volume-title":"Combinatory Reduction Systems, Mathematical Centre Tracts n.127","author":"J. W. Klop","year":"1980","unstructured":"J.W. Klop, Combinatory Reduction Systems, Mathematical Centre Tracts n.127, (Mathematical Centre, Amsterdam 1980)."},{"key":"26_CR8","unstructured":"G. Jacopini, M. Venturini Zilli, Equating for Recurrent Terms of \u03bb-Calculus and Combinatory Logic, Quaderno IAC s.III, n.85 (Roma 1978)."},{"key":"26_CR9","unstructured":"J.J. L\u00e9vy, R\u00e9ductions correctes et optimales dans le lambda-calculi, Th\u00e8se de doctorat, Paris (1978)."},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/S0021-9800(67)80077-2","volume":"3","author":"C. St","year":"1967","unstructured":"C. St. J. Nash-Williams, Infinite Graphs: A Survey, Journal of Combinatorial Theory 3, (1967) 286\u2013301.","journal-title":"Journal of Combinatorial Theory"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"M. Venturini Zilli, Head \u2014 recurrent Terms in Combinatory Logic: a Generalization of the Notion of Head-normal form, in: G. Ausiello and C. B\u00f6hm, Eds., Automata, Languages and Programming (Springer-Verlag 1978) 477\u2013493.","DOI":"10.1007\/3-540-08860-1_36"},{"key":"26_CR12","unstructured":"M. Venturini Zilli, Recurrence and Head-recurrence in Combinatory Logic and \u03bb-Calculus, IAC Internal Report, 1981."},{"key":"26_CR13","unstructured":"M. Venturini Zilli, Reduction Graphs in the Lambda Calculus, 1982, submitted for publication to Theoretical Computer Science."}],"container-title":["Lecture Notes in Computer Science","CAAP'83"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-12727-5_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:06:15Z","timestamp":1605643575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-12727-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540127277","9783540387145"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-12727-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}