Talks and Poster Presentations (with Proceedings-Entry):

B. Lellmann:
"Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications";
Talk: VSL 2014, Wien; 2014-07-15 - 2014-07-22; in: "IJCAR 2014 (International Joint Conference on Automated Reasoning) im Rahmen des Vienna Summer of Logic", D. Kapur et al. (ed.); Springer, (2014), ISBN: 978-3-319-08586-9; 307 - 321.

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

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