[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Ciabattoni, F. Genco, F. Aschieri:
"Intermediate Logic Proofs as Concurrent Programs";
Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25.

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