An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language
Basic data of the doctoral examination procedure
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Period of time: to 07/07/2020
Status: completed
Candidate: Dageförde, Jan
Doctoral subject: Wirtschaftsinformatik
Doctoral degree: Dr. rer. pol.
Awarded by: Department 04 - Münster School of Business and Economics
Supervisors: Kuchen, Herbert
Promovend*in an der Universität Münster
| Dageförde, Jan | Practical Computer Science Group (PI) |
Supervision at the University of Münster
| Kuchen, Herbert | Practical Computer Science Group (PI) |
Projects in which the doctoral examination procedure takes/took place
Duration: since 01/11/2015 Type of project: Own resources project |
Publications resulting from doctoral examination procedure
Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Working paper | Published | |
Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (eds.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13 Research article (book contribution) | Peer reviewed | Published | |
Dageförde Jan C. (2019) In: Silva J (eds.), Functional and Constraint Logic Programming, 131-144. Springer VDI Verlag. doi:10.1007/978-3-030-16202-3_8 Research article (book contribution) | Peer reviewed | Published | |
Dageförde Jan C., Kuchen Herbert (2019) In: ((Bitte Journal prüfen)), 53, 63-78. doi:10.1016/j.cola.2019.05.001 Research article (journal) | Peer reviewed | Published | |
Dageförde Jan C., Kuchen Herbert (2019) In: (eds.), , 1552-1561. (kein Verlag angegeben). doi:10.1145/3297280.3298912 Research article in edited proceedings (conference) | Peer reviewed | Published |