[Back]


Talks and Poster Presentations (without Proceedings-Entry):

T. Lyon:
"Mutual Translations between Display and Labelled Proofs for Tense Logics";
Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.


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