[Back]


Talks and Poster Presentations (with Proceedings-Entry):

F. Aschieri, F. Genco, A. Ciabattoni:
"Classical Proofs as Parallel Programs";
Talk: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrücken; 2018-09-26 - 2018-09-28; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)", (2018), 43 - 57.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.277.4


Created from the Publication Database of the Vienna University of Technology.