[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Labelled tree sequents, tree hypersequents and nested (deep) sequents";
Talk: Collegium Logicum 2012: Structural Proof Theory, Paris, France; 2012-11-15 - 2012-11-16.

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