[Back]


Talks and Poster Presentations (without Proceedings-Entry):
M. Fitting, R. Kuznets:
"Applications of Nested-Sequent Proof Systems for Modal Logics to the Craig Interpolation Property";
Talk: VSL - Nonclassical Proofs Workshop, Wien; 2014-07-20.

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