Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Geibinger, H. Tompits:
"Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics";
Vortrag: 36th International Conference on Logic Programming (ICLP 2020),
Rende, Italien;
18.09.2020
- 25.09.2020; in: "Proceedings of the 36th International Conference on Logic Programming (Technical Communications)",
Electronic Proceedings in Theoretical Computer Science (EPTCS),
325
(2020),
S. 178
- 191.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.325.23
Elektronische Version der Publikation:
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2020.23.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.