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)
http://dx.doi.org/10.4230/LIPIcs.CSL.2020.28
Created from the Publication Database of the Vienna University of Technology.