Talks and Poster Presentations (with Proceedings-Entry):
M. Baaz, A. Ciabattoni, C. Fermüller:
"Monadic Fragments of Gödel Logics: Decidability and Undecidability Results";
Talk: LPAR 2007,
- 2007-10-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning",
N Dershowitz, A. Voronkov (ed.);
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.