Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Kitzelmann, Emanuel
:
Analytical Inductive Functional Programming
.
In:
Hanus, Michael
(Hrsg.) :
Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008)
(
18th International Symposium on Logic-Based Program Synthesis and Transformation
, Valencia, Spain, July, 2008).
2008, S. 166-180.
Stichwörter: inductive programming; igor2; program synthesis; term rewriting
Institution:
Lehrstuhl für Kognitive Systeme
UnivIS ist ein Produkt der
Config eG
, Buckenhof