[Back]


Talks and Poster Presentations (without Proceedings-Entry):

R. Kuznets, L. Strassburger:
"Efficient Proof Systems for Modal Logics";
Talk: 29th European Summer School in Logic, Language, and Information (ESSLLI 2017), Toulouse, Frankreich; 2017-07-17 - 2017-07-28.


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