[Back]


Talks and Poster Presentations (without Proceedings-Entry):
T. Lyon:
"Internalizing Labelled Proofs for Tense Logics with Path Axioms";
Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08.

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