[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Aschieri, A. Ciabattoni, F. Genco:
"Logic-Based Concurrent Calculi";
Talk: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 2018-02-26 - 2018-02-28.


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