Inductive Synthesis of Functional Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki. Inductive Synthesis of Functional Programs. In Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge, editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Volume 2385 of Lecture Notes in Computer Science, pages 26-37, Springer, 2002. [doi]

This author has not been identified. It may be one of the following persons:

Emanuel Kitzelmann

Look up 'Emanuel Kitzelmann' in GoogleThis author has not been identified. Look up 'Ute Schmid' in GoogleThis author has not been identified. Look up 'Martin Mühlpfordt' in GoogleThis author has not been identified. Look up 'Fritz Wysotzki' in Google

runs on WebDSL