BibSonomy :: bibtex  ::

publications

(2)

• Folding of finite program terms to recursive program schemes
  Emanuel Kitzelmann and Ute Schmid and Martin M{\"u}hlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium 144--149 vol.1 (2002)
  to analytical_ip ifp igor1 induction inductive_programming inproceedings program_synthesis recursive_program_schemes by emanuel on 2008-06-14 17:46:10
  | URL | BibTeX  
• Folding of finite program terms to recursive program schemes
  Emanuel Kitzelmann and Ute Schmid and Martin M{\"u}hlpfordt and Fritz Wysotzki Intelligent Systems, 2002. Proceedings. 2002 First International IEEE Symposium 144--149 vol.1 (2002)
  to 2002 automatic_programming functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_program_synthesis inductive_programming inproceedings myown programming published recursive_program_schemes by mh on 2007-10-17 15:28:39
  | URL | BibTeX