Person:
Zeige:
Zeige 1 bis 10 von 23 Ergebnissen
Zeige 1 bis 10 von 23 Ergebnissen
Dageförde, Jan C.; Kuchen, Herbert (2023) In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (Hrsg.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 97-112. Cham: . Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert (2021) In: (Hrsg.), , 129-144. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (Hrsg.), Declarative Programming and Knowledge Management, 199-214. . Forschungsartikel (Buchbeitrag) | Peer reviewed | Veröffentlicht | |
Dageförde Jan C., Kuchen Herbert (2020) In: (Hrsg.), . (kein Verlag angegeben). Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Dageförde, Jan C. (2020) Münster(kein Verlag angegeben). Qualifikationsschrift (Dissertation, Habilitationsschrift) | Veröffentlicht | |
Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Arbeitspapier / Working Paper | Veröffentlicht | |
: | |
In: (Hrsg.), . | |
In: (Hrsg.), . | Peer reviewed | |
In: (Hrsg.), , -. | Peer reviewed |