Talks and Poster Presentations (with Proceedings-Entry):
"Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications";
Talk: VSL 2014,
- 2014-07-22; in: "IJCAR 2014 (International Joint Conference on Automated Reasoning) im Rahmen des Vienna Summer of Logic",
D. Kapur et al. (ed.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.