Talks and Poster Presentations (without Proceedings-Entry):
B. Lellmann:
"Analytic calculi for intermediate logics: A nested sequent approach";
Talk: Alcop Viii,
Glasgow;
2017-04-10
- 2017-04-12.
Created from the Publication Database of the Vienna University of Technology.