[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Ciabattoni:
"Intermediate logics: from hypersequents to parallel computation";
Talk: British Colloquium for Theoretical Computer Science 2018, London (invited); 2018-03-26 - 2018-03-28.


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