[Back]


Talks and Poster Presentations (without Proceedings-Entry):

T. Lyon:
"On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems";
Talk: Fifth TICAMORE MEETING, Wien; 2019-11-11 - 2019-11-13.


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