Talks and Poster Presentations (with Proceedings-Entry):
A. Ciabattoni, R. Ramanayake:
"Structural extensions of display calculi: A general recipe";
Talk: 20th International Workshop on Logic, Language, Information and Computation WoLLIC 2013,
Darmstadt. Germany;
2013-08-20
- 2013-08-24; in: "Proceedings 20th International Workshop, WoLLIC 2013",
Springer Lecture Notes in Computer Science,
8071
(2013),
ISBN: 978-3-642-39991-6;
81
- 95.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-39992-3
Created from the Publication Database of the Vienna University of Technology.