Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid. Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. In Andreas Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius, Thomas Roth-Berghofer, editors, KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings. Volume 5243 of Lecture Notes in Computer Science, pages 78-86, Springer, 2008. [doi]
Abstract is missing.