[Back]


Talks and Poster Presentations (with Proceedings-Entry):

T. Lyon:
"On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems";
Talk: LFCS 2020, Deerfield Beach, USA; 2020-01-04 - 2020-01-07; in: "Logical Foundations of Computer Science - International Symposium, LFCS 2020", Springer, 11972 (2020), 177 - 194.



Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_291098.pdf


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