Name Card

Full name Familienname, Vorname
van der Giessen, Iris
 

Own Publications Eigene Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van der Giessen-2023-Extensions ofK5 Proof Theory andUniform Lyndon Inter...-vor.pdf.jpgvan der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Extensions of K5: Proof Theory and Uniform Lyndon InterpolationInproceedings Konferenzbeitrag 14-Sep-2023
2van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Nested Sequents, Kripke Models, and Uniform InterpolationPresentation Vortrag1-Nov-2022
3van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform interpolation via nested sequents and hypersequentsBericht Report2021
4van der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Uniform Interpolation via Nested SequentsKonferenzbeitrag Inproceedings 2021