Publikationen von Rajeev Goré

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

Publikationen von Rajeev Goré


Artikel in Tagungsbänden

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