[Back]


Talks and Poster Presentations (without Proceedings-Entry):

T. Lyon:
"Tense Logics, Structural Proof Theory, and Effective Translations";
Talk: Logic Research Seminar, University of Melbourne, Melbourne; 2018-11-23.


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