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, Yerevan, Armenia; 2007-10-15 - 2007-10-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning", N Dershowitz, A. Voronkov (ed.); Springer, LNCS 4790 (2007), ISBN: 978-3-540-75558-6; 77 - 91.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

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