[Back]


Talks and Poster Presentations (without Proceedings-Entry):
T. Lyon:
"Effective Translations between Nested and Labelled Proofs for Tense Logics";
Talk: Logic Seminar, Australian National University, Canberra; 2018-11-07.

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