[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni:
"From hypersequent calculi to parallel computation";
Talk: International Workshop on Proofs, Paris (invited); 2017-06-01 - 2017-06-02.

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