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.