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)
http://dx.doi.org/10.1007/978-3-319-72056-2_8
Created from the Publication Database of the Vienna University of Technology.