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)
http://dx.doi.org/10.1007/978-3-540-75560-9
Created from the Publication Database of the Vienna University of Technology.