Talks and Poster Presentations (without Proceedings-Entry):
B. Lellmann:
"Grafting Hypersequents onto Nested Sequents";
Talk: GeTFun 3.0 Workshop, Nat@logic 2015,
Natal;
2015-08-31
- 2015-09-04.
Created from the Publication Database of the Vienna University of Technology.