Genetic Programming Bibliography entries for Dirk Fuchs

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8129

GP coauthors/coeditors: Matthias Fuchs, Marc Fuchs,

Genetic Programming PhD doctoral thesis Dirk Fuchs

• Dirk Fuchs. Cooperation in Heterogeneous Theorem Prover Networks. PhD thesis, Kaiserslautern University of Technology, Germany, 2000. details

Genetic Programming conference papers by Dirk Fuchs

• Marc Fuchs and Dirk Fuchs and Matthias Fuchs. Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. In Wolfgang Banzhaf and Jason Daida and Agoston E. Eiben and Max H. Garzon and Vasant Honavar and Mark Jakiela and Robert E. Smith editors, Proceedings of the Genetic and Evolutionary Computation Conference, volume 2, pages 1027-1032, Orlando, Florida, USA, 1999. Morgan Kaufmann. details

• Matthias Fuchs and Dirk Fuchs and Marc Fuchs. Solving Problems of Combinatory Logic with Genetic Programming. In John R. Koza and Kalyanmoy Deb and Marco Dorigo and David B. Fogel and Max Garzon and Hitoshi Iba and Rick L. Riolo editors, Genetic Programming 1997: Proceedings of the Second Annual Conference, pages 102-110, Stanford University, CA, USA, 1997. Morgan Kaufmann. details