Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.

Martin Hofmann, Emanuel Kitzelmann, Ute Schmid

Browse the full KI paper archive.