[Back]


Talks and Poster Presentations (without Proceedings-Entry):
R. Ramanayake:
"Structural proof theory: shedding structure";
Talk: 5th International Workshop on Structures and Deduction SD 2019, Dortmund (invited); 2019-06-29 - 2019-06-30.

Electronic version of the publication:
http://anupamdas.com/sd19/

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