{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:48Z","timestamp":1725663168009},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540502418"},{"type":"electronic","value":"9783540459606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50241-6_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:19:12Z","timestamp":1330201152000},"page":"27-43","source":"Crossref","is-referenced-by-count":1,"title":["Surjectivity for finite sets of combinators by weak reduction"],"prefix":"10.1007","author":[{"given":"Corrado","family":"B\u00f6hm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Piperno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"Barendregt, H.P., The lambda calculus, North Holland, 1984","key":"3_CR1"},{"unstructured":"Curry,H.B. and Feys,R., Combinatory Logic, Vol.1, North Holland,Amsterdam 1958","key":"3_CR2"},{"key":"3_CR3","first-page":"185","volume":"14","author":"C. B\u00f6hm","year":"1974","unstructured":"B\u00f6hm, C. and Dezani-Ciancaglini, M., Combinatorial problems, combinator equations and normal forms, in L\u0153ckx (ed.) Aut.,Langu. and Progr. 2nd Colloquium, LNCS 14,1974, pp. 185\u2013199","journal-title":"Aut.,Langu. and Progr. 2nd Colloquium, LNCS"},{"key":"3_CR4","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/0304-3975(79)90014-8","volume":"8","author":"C. B\u00f6hm","year":"1979","unstructured":"B\u00f6hm, C.,Dezani-Ciancaglini,Peretti, P. and Ronchi della Rocca, S., A discrimination algorithm inside \u03bb-\u03b2-Calculus, Theor. Comput.Sci. 8, (1979), pp. 271\u2013291","journal-title":"Theor. Comput.Sci."},{"unstructured":"B\u00f6hm, C., Alcune propriet\u00e0 delle forme \u03b2-\u03bd-normali nel \u03bb-K-calcolo, IAC Publ. n. 696, Roma,19 pp., 1968","key":"3_CR5"},{"unstructured":"B\u00f6hm,C. and Piperno,A., Surjectivity and one-side invertibility of \u03bb-\u03b2-\u03a9-mappings, To appear in the Proceedings of LICS 88, Edinburgh","key":"3_CR6"},{"unstructured":"B\u00f6hm,C. and Tronci,E., X-Separability and Left-Invertibility in Lambda-Calculus, Symposium on Logic and Computer Science, Ithaca,N.Y.June 22\u201325,1987, Computer Soc.of the IEEE, p.320\u2013328","key":"3_CR7"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1002\/malq.19770230708","volume":"23","author":"R. Hindley","year":"1977","unstructured":"Hindley, R., Combinatory Reductions and Lambda Reductions compared, Zeitschr.f.math.Logik und Grundlagen d. Math., Bd.23, S.169\u2013180, 1977","journal-title":"Zeitschr.f.math.Logik und Grundlagen d. Math."},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0304-3975(79)90019-7","volume":"8","author":"R. Hindley","year":"1979","unstructured":"Hindley, R., The Discrimination Algorithm holds for Combinatory Weak Reduction, Theor. Comput.Sci. 8, (1979), pp. 393\u2013394","journal-title":"Theor. Comput.Sci."}],"container-title":["Lecture Notes in Computer Science","CSL '87"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50241-6_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:54:33Z","timestamp":1619571273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50241-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540502418","9783540459606"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-50241-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}