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)
http://dx.doi.org/10.1007/978-3-319-40229-1_29
Created from the Publication Database of the Vienna University of Technology.