%0 Thesis %1 Kitzelmann03 %A Kitzelmann, Emanuel %D 2003 %K analytical_ip ifp igor1 induction inductive_programming mastersthesis program_synthesis recursive_program_schemes %T Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach %U http://www.cogsys.wiai.uni-bamberg.de/kitzelmann/

@mastersthesis{Kitzelmann03, added-at = {2010-04-21T22:36:03.000+0200}, author = {Kitzelmann, Emanuel}, biburl = {https://www.bibsonomy.org/bibtex/23a8eb459a491fc3accf72018a5ffaa4e/emanuel}, description = {emanuel kitzelmann's diploma thesis}, interhash = {21afd515b889cacfb41824b07f2d132d}, intrahash = {3a8eb459a491fc3accf72018a5ffaa4e}, keywords = {analytical_ip ifp igor1 induction inductive_programming mastersthesis program_synthesis recursive_program_schemes}, note = {Unpublished}, pdf = {http://www.cogsys.wiai.uni-bamberg.de/publications/kitzelmann03_TUB.pdf}, school = {{Technische Universit{\"a}t Berlin}}, timestamp = {2010-04-21T22:36:03.000+0200}, title = {Inductive Functional Program Synthesis -- A Term-Construction and Folding Approach}, type = {Diplomarbeit}, url = {http://www.cogsys.wiai.uni-bamberg.de/kitzelmann/}, year = 2003 }