Account
Edit tools
Internal
SucheSearch
Deutsch

Publications of Rajeev Goré

From International Center for Computational Logic
Revision as of 20:02, 3 November 2014 by Marcel Lippmann (talk | contribs) (Page created automatically by parser function on page Rajeev Goré)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Toggle side column

Publications of Rajeev Goré


Proceedings Articles

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
Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Rajeev_Goré/Publikationen/en&oldid=8678"