[Back]


Talks and Poster Presentations (without Proceedings-Entry):
C. Fermüller:
"Parallel Dialogue Games and Hypersequents";
Talk: Workshop on Proofs as Processes, Kanazawa, Japan; 2014-01-20 - 2014-01-21.

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