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