Talks and Poster Presentations (with Proceedings-Entry):

T. Lyon, R. Goré et al.:
"Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents";
Talk: CSL2020, Barcelona; 2020-01-13 - 2020-01-16; in: "28th {EACSL} Annual Conference on Computer Science Logic, CSL 2020", Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 152 (2020), 1 - 16.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.