[Back]


Talks and Poster Presentations (with Proceedings-Entry):

B. Lellmann et al.:
"Hypersequent calculi for Lewis´ conditional logics with uniformity and reflexivity";
Talk: TABLEAUX 2017, Brasilia; 2017-09-26 - 2017-09-29; in: "Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2017", (2017), ISBN: 978-3-319-66901-4; 131 - 148.


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