[Back]


Talks and Poster Presentations (without Proceedings-Entry):

T. Lyon:
"Effective Translations between Display and Labelled Proofs for Tense Logics";
Talk: External and Internal Calculi for Non-Classical Logics Workshop (Federated Logic Conference 2018), Oxford; 2018-07-19.


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