Talks and Poster Presentations (with Proceedings-Entry):
T. Geibinger, H. Tompits:
"Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics";
Talk: 36th International Conference on Logic Programming (ICLP 2020),
Rende, Italien;
2020-09-18
- 2020-09-25; in: "Proceedings of the 36th International Conference on Logic Programming (Technical Communications)",
Electronic Proceedings in Theoretical Computer Science (EPTCS),
325
(2020),
178
- 191.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.325.23
Electronic version of the publication:
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2020.23.pdf
Created from the Publication Database of the Vienna University of Technology.