Talks and Poster Presentations (with Proceedings-Entry):

T. Lyon:
"Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents";
Talk: LFCS 2020, Deerfield Beach, USA; 2020-01-04 - 2020-01-07; in: "Logical Foundations of Computer Science - International Symposium, {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings", Springer, 11972 (2020), 156 - 176.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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