Contributions to Proceedings:
B. Lellmann, T. Dalmonte et al.:
"Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics";
in: "Logical Foundations of Computer Science - International Symposium, {LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings",
11972;
S. Artemov et al. (ed.);
Springer International Publishing,
2020,
ISBN: 978-3-030-36754-1,
27
- 46.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-36755-8_3
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_290258.pdf
Created from the Publication Database of the Vienna University of Technology.