Talks and Poster Presentations (with Proceedings-Entry):

R. Ramanayake:
"Inducing Syntactic Cut-Elimination for Indexed Nested Sequents";
Talk: IJCAR 2016, Coimbra; 2016-06-27 - 2016-07-02; in: "Proccedings of 2nd International workshop on Automated Reasoning in Quantified Non-Classical Logics ARQNL 2016", 9706 (2016), ISBN: 978-3-319-40229-1; 416 - 432.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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