Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

Details

OriginalspracheEnglisch
Titel28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Redakteure/-innenMaribel Fernández, Anca Muscholl
ErscheinungsortDagstuhl, Germany
Herausgeber (Verlag)Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Seiten28:1-28:16
Band152
ISBN (Print)978-3-95977-132-0
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusJa

Externe IDs

Scopus 85077500493
ORCID /0000-0003-3214-0828/work/142249486