%0 Thesis %1 kitzelmann2010combined %A Kitzelmann, Emanuel %D 2010 %K %T A combined analytical and search-based approach to the inductive synthesis of functional programs

@phdthesis{kitzelmann2010combined, added-at = {2023-12-12T17:44:33.000+0100}, author = {Kitzelmann, Emanuel}, biburl = {https://www.bibsonomy.org/bibtex/26b8436d93b45d958945fb34f9efb69d5/admin}, dnbtitleid = {1007898313}, interhash = {0812416eb0090075dc39ec3339fe4a6e}, intrahash = {6b8436d93b45d958945fb34f9efb69d5}, keywords = {}, school = {Uni Bamberg}, timestamp = {2023-12-12T17:44:33.000+0100}, title = {A combined analytical and search-based approach to the inductive synthesis of functional programs}, year = 2010 }