[Back]


Talks and Poster Presentations (without Proceedings-Entry):
C. Fermüller:
"Interpreting Sequent Calculi as Client-Server Games";
Talk: Syntax Meets Semantics 2016, Barcelona (invited); 2016-09-05 - 2016-09-09.

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