Talks and Poster Presentations (with Proceedings-Entry):

M. Baaz, C. Fermüller:
"A translation characterizing the constructive content of classical theories";
Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Almaty, Kazakhstan; 2003-09-22 - 2003-09-26; in: " Logic for Programming, Artificial Intelligence and Reasoning", Springer, LNAI 2850 (2003), ISBN: 3-540-20101-7; 107 - 121.

Online library catalogue of the TU Vienna:

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