Projects per year
- 1 Similar Profiles
Dive into details
Select a country/territory to view shared publications and projects
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
1/11/20 → 31/10/23
Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution bookOpen AccessFile2 Downloads (Pure)
Kupke, C. & Rot, J., 15 Jul 2021, (Accepted/In press) In: Logical Methods in Computer Science. 30 p.
Research output: Contribution to journal › Article › peer-reviewOpen AccessFile2 Downloads (Pure)
- 1 Organiser of special symposia
5 Aug 2019 → 9 Aug 2019
Activity: Participating in or organising an event types › Organiser of special symposia