Talks and Poster Presentations (without Proceedings-Entry):
T Lang:
"Bounded sequent calculi via hypersequents";
Talk: Fifth TICAMORE MEETING,
Wien;
2019-11-11
- 2019-11-13.
Created from the Publication Database of the Vienna University of Technology.