Talks and Poster Presentations (with Proceedings-Entry):

A. Leitsch, M. Baaz, G. Reis:
"A Note on the Complexity of Classical and Intuitionistic Proofs";
Talk: Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), Kyoto; 2015-07-06 - 2015-07-10; in: "Logic in Computer Science (LICS)", (2015), ISSN: 1043-6871; 657 - 666.

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