Talks and Poster Presentations (with Proceedings-Entry):
A. Ciabattoni, F. Genco et al.:
"Gödel Logic: From Natural Deduction to Parallel Computation";
Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland,
Reykjavik;
2017-06-20
- 2017-06-23; in: "Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland",
(2017),
ISBN: 978-1-5090-3018-7;
1
- 12.
Created from the Publication Database of the Vienna University of Technology.