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)
http://dx.doi.org/10.1007/978-3-030-36755-8_11
Created from the Publication Database of the Vienna University of Technology.