[Back]


Talks and Poster Presentations (with Proceedings-Entry):

S. Pkhakadze, H. Tompits:
"A Gentzen-Type Calculus for Disjunctive Default Logic.";
Talk: Gödel's Legacy: Does Future lie in the Past?, Wien; 2019-07-25 - 2019-07-27; in: "Goedel's Legacy Conference", (2019).


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