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)

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