[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Sequent calculi for substructural logics via bounded proofs";
Talk: FISP Workshop (3rd FISP Meeting), Vienna; 2018-12-07 - 2018-12-08.

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