Name Card

Full name Familienname, Vorname
Straßburger, Lutz
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-12 of 12 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Girlando-2023-A decision procedure for IS4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz A decision procedure for IS4Inproceedings Konferenzbeitrag 31-Oct-2023
2Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 and its decidabilityPresentation Vortrag27-Sep-2023
3Girlando-2023-Decidability of intuitionistic S4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Decidability of intuitionistic S4Inproceedings Konferenzbeitrag 2023
4Girlando-2023-Intuitionistic S4 is decidable-am.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 is decidableInproceedings Konferenzbeitrag 2023
5Ciabattoni, Agata ; Straßburger, Lutz ; Tesi, Matteo Taming Bounded Depth with Nested SequentsInproceedings Konferenzbeitrag2022
6Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicArticle Artikel Sep-2021
7Kuznets, Roman ; Straßburger, Lutz Maehara-style Modal Nested CalculiArtikel Article 2019
8Kuznets, Roman ; Straßburger, Lutz Maehara-style Modal Nested CalculiBericht Report2017
9Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicBericht Report2017
10Hetzl, Stefan ; Straßburger, Lutz Herbrand-ConfluencePreprint Preprint2013
11Hetzl, Stefan ; Straßburger, Lutz Herbrand-confluence for cut elimination in classical first order logicKonferenzbeitrag Inproceedings 2012
12Ciabattoni, Agata ; Straßburger, Lutz ; Terui, Kazushige Expanding the realm of systematic proof theoryKonferenzbeitrag Inproceedings 2009