Talks and Poster Presentations (with Proceedings-Entry):

T. Lyon, R. Ramanayake, A. Ciabattoni:
"From Display to Labelled Calculi for Tense Logics";
Talk: Logical Foundations of Computer Science 2018, Deerfield Beach, Florida; 2018-01-07 - 2018-01-12; in: "Proceedings of Logical Foundations of Computer Science", (2018), ISBN: 978-3-319-72055-5; 120 - 139.

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

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