( en | de | ru )

 

Disambiguation of "Kitzelmann, Emanuel"

Author of the publication

copydeleteadd this publication to your clipboard
Folding of Finite Program Terms to Recursive Program Schemes

, , , and . First International IEEE Symposium on Intelligent Systems (IS 2002), 1, page 144--149. IEEE, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Emanuel Kitzelmann

Erwin Kitzelmann

Dieter Kitzelmann

Emanuel Kockrick

Emanuel Birle

 

Other publications of authors with the same name

Porting Igor2 from MAUDE to HASKELL − Introducing a System's Design, , and . ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming, page 65--74. University of Bamberg, (2009)A revised version will appear in ScKiPl10.A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems, , and . Second Conference on Artificial General Intelligence, page 55--60. Atlantis Press, (2009)Analytical Inductive Functional Programming. 18th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 5438 of LNCS, page 87--102. Springer-Verlag, (2009)Inductive Program Synthesis: From Theory to Application, , and . Beiträge zum Treffen der GI-Fachgruppe 1.1.3 Maschinelles Lernen (FGML 2002), page 135--141. (2002)Analytical Inductive Programming as a Cognitive Rule Acquisition Device, , and . Second Conference on Artificial General Intelligence, page 162--167. Atlantis Press, (2009)Two New Operators for IGOR2 to Increase Synthesis Efficiency.. AAIP, page 33-48. (2011)Data-driven Learning of Functions over Algebraic Datatypes from Input/Output-Examples. KI-2007 Workshop on Learning from Non-Vectorial Data, volume 6 of Publications of the Institute of Cognitive Science, page 36--45. Institute of Cognitive Science, Universität Osnabrück, (2007)Inductive Programming: A Survey of Program Synthesis Techniques. Approaches and Applications of Inductive Programming, 3rd Workshop AAIP, Revised Papers, volume 5812 of LNCS, page 50--73. Springer-Verlag, (2010)Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities., and . RULE@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 49-63. Elsevier, (2006)Data-Driven Induction of Recursive Functions from Input/Output-Examples.. AAIP, page 15-26. (2007)