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),
- 2003-09-26; in: " Logic for Programming, Artificial Intelligence and Reasoning",
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.