{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:02:49Z","timestamp":1743076969779,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631040"},{"type":"electronic","value":"9783540691402"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63104-6_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:05:20Z","timestamp":1330297520000},"page":"416-430","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Evolving combinators"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Fuchs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"42_CR1","volume-title":"The Lambda Calculus: Its Syntax and Semantics","author":"H.P. Barendregt","year":"1981","unstructured":"Barendregt, H.P.:The Lambda Calculus: Its Syntax and Semantics, North-Holland, Amsterdam, 1981."},{"key":"42_CR2","first-page":"553","volume-title":"Proc. 8th European Conference on AI (ECAI-88)","author":"S. Biundo","year":"1988","unstructured":"Biundo, S.:Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool, Proc. 8th European Conference on AI (ECAI-88), Munich, GER, 1988, Pitman Publishing, pp. 553\u2013558."},{"key":"42_CR3","volume-title":"Combinatory Logic","author":"H.B. Curry","year":"1958","unstructured":"Curry, H.B.; Feys, R.:Combinatory Logic, North-Holland, Amsterdam, 1958."},{"key":"42_CR4","first-page":"343","volume":"861","author":"J. Denzinger","year":"1994","unstructured":"Denzinger, J.; Fuchs, M.:Goal oriented equational theorem proving using teamwork, Proc. 18th German Conference on AI (KI-94), Saarbr\u00fccken, GER, 1994, Springer LNAI 861, pp. 343\u2013354.","journal-title":"Springer LNAI"},{"key":"42_CR5","first-page":"121","volume":"3","author":"K. Jong De","year":"1988","unstructured":"De Jong, K.:Learning with Genetic Algorithms: An Overview, Machine Learning 3:121\u2013138, 1988.","journal-title":"Machine Learning"},{"key":"42_CR6","first-page":"421","volume-title":"Speeding up Genetic Programming: A Parallel BSP Implementation","author":"D.C. Dracopoulos","year":"1996","unstructured":"Dracopoulos, D.C.; Kent, S.:Speeding up Genetic Programming: A Parallel BSP Implementation, Proc. 1st International Conference on Genetic Programming (GP-96), Stanford University, CA, USA, 1996, MIT Press, p. 421."},{"key":"42_CR7","unstructured":"Ertel, W.:Random Competition: A Simple, but Efficient Method for Parallelizing Inference Systems, Techn. Report TUM-19050, Technical University of Munich, 1990."},{"key":"42_CR8","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1090.001.0001","volume-title":"Adaptation in natural and artificial systems","author":"J.H. Holland","year":"1992","unstructured":"Holland, J.H.:Adaptation in natural and artificial systems, Ann Arbor: Univ. of Michigan Press, 2nd edition, 1992.","edition":"2nd edition"},{"key":"42_CR9","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"J.R. Koza","year":"1992","unstructured":"Koza, J.R.:Genetic Programming: On the Programming of Computers by Means of Natural Selection, MIT Press, Cambridge, MA, 1992."},{"key":"42_CR10","volume-title":"Genetic Programming II: Automatic Discovery of Reusable Programs","author":"J.R. Koza","year":"1994","unstructured":"Koza, J.R.:Genetic Programming II: Automatic Discovery of Reusable Programs, MIT Press, Cambridge, MA, 1994."},{"key":"42_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF00881871","volume":"11","author":"E. Lusk","year":"1993","unstructured":"Lusk, E.; McCune, W.:Uniform Strategies: The CADE-11 Theorem Proving Contest, Journal of Automated Reasoning 11:317\u2013331, 1993.","journal-title":"Journal of Automated Reasoning"},{"key":"42_CR12","first-page":"781","volume":"607","author":"E. Lusk","year":"1992","unstructured":"Lusk, E.; Wos, L.:Benchmark Problems in Which Equality Plays the Major Role, CADE-11, Saratoga Springs, NY, USA, 1992, Springer LNAI 607, pp. 781\u2013785.","journal-title":"Springer LNAI"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"McCune, W.:OTTER 3.0 Reference Manual and Guide, Techn. Report ANL-94\/6, Argonne Natl. Laboratory, 1994.","DOI":"10.2172\/10129052"},{"key":"42_CR14","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00381147","volume":"3","author":"W. McCune","year":"1987","unstructured":"McCune, W.; Wos, L.:A Case Study in Automated Theorem Proving: Finding Sages in Combinatory Logic, Journal of Automated Reasoning 3:91\u2013107, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"42_CR15","first-page":"339","volume-title":"Distributed Genetic Programming: Empirical Study and Analysis","author":"T. Niwa","year":"1996","unstructured":"Niwa, T.; Iba, H.:Distributed Genetic Programming: Empirical Study and Analysis, Proc. 1st International Conference on Genetic Programming (GP-96), Stanford University, CA, USA, 1996, MIT Press, pp. 339\u2013344."},{"key":"42_CR16","doi-asserted-by":"crossref","unstructured":"O'Donnell, M.J.:Computing in Systems Described by Equations, Springer LNCS 58, 1977.","DOI":"10.1007\/3-540-08531-9"},{"key":"42_CR17","volume-title":"To Mock a Mockingbird","author":"R. Smullyan","year":"1985","unstructured":"Smullyan, R.:To Mock a Mockingbird, A. Knopf, New York, 1985."},{"key":"42_CR18","first-page":"252","volume":"814","author":"G. Sutcliffe","year":"1994","unstructured":"Sutcliffe, G.; Suttner, C.; Yemenis, T.:The TPTP Problem Library, Proc. CADE-12, Nancy, FRA, 1994, Springer LNAI 814, pp. 252\u2013266.","journal-title":"Springer LNAI"},{"key":"42_CR19","first-page":"714","volume":"310","author":"L. Wos","year":"1988","unstructured":"Wos, L.; McCune, W.:Challenge Problems Focusing on Equality and Combinatory Logic: Evaluating Automated Theorem-Proving Programs, CADE-9, Argonne, IL, USA, 1988, Springer LNCS 310, pp. 714\u2013729.","journal-title":"Springer LNCS"},{"key":"42_CR20","first-page":"485","volume":"449","author":"L. Wos","year":"1990","unstructured":"Wos, L.; Winker, S.; McCune, W.; Overbeek, R., Lusk, E.; Stevens, R.:Automated Reasoning Contributes to Mathematics and Logic, CADE-10, Kaiserslautern, GER, 1990, Springer LNAI 449, pp. 485\u2013499.","journal-title":"Springer LNAI"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-14"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63104-6_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:31:45Z","timestamp":1640950305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63104-6_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631040","9783540691402"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-63104-6_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}