Rajeev Goré

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Prof. Dr. Rajeev Goré

Ehemaliges Mitglied
Rajeev Goré

Neueste Publikationen

Komplette Publikationsliste anzeigen

Tim Lyon, Alwen Tiu, Rajeev Goré, Ranald Clouston
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
In Maribel Fernández and Anca Muscholl, eds., 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), volume 152, 28:1--28:16, 2020. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
Komplette Publikationsliste anzeigen