Talks and Poster Presentations (with Proceedings-Entry):
C. Fermüller, T Lang:
"Interpreting Sequent Calculi as Client-Server Games";
Talk: TABLEAUX 2017,
Brasilia;
2017-09-25
- 2017-09-28; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017",
R. Schmidt et al. (ed.);
Springer,
LNCS 10501
(2017),
ISBN: 978-3-319-66901-4;
98
- 113.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-66902-1_6
Created from the Publication Database of the Vienna University of Technology.