Name Card

Full name Familienname, Vorname
Fitting, Melvin
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fitting, Melvin ; Kuznets, Roman Modal Interpolation via Nested SequentsArtikel Article 2015
2Fitting, Melvin ; Kuznets, Roman Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation PropertyPräsentation Presentation2014