Talks and Poster Presentations (without Proceedings-Entry):
T. Lyon:
"Translating from Labelled Calculi to Display Calculi";
Talk: TICAMORE Kick-off Meeting 2017,
Wien;
2017-03-04.
Created from the Publication Database of the Vienna University of Technology.