Prof. Dr. Rajeev Goré

Ehemaliges Mitglied

Ehemals Gastwissenschaftler in Forschungsgruppe Automatentheorie

Publikationen

Neueste Publikationen

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