- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 7 |      | Matthias Baaz, Agata Ciabattoni, Norbert Preining: SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC 2009: 113-123 |
| 2008 | ||
| 6 | | Matthias Baaz, Norbert Preining: Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. J. Log. Comput. 18(4): 649-668 (2008) |
| 2007 | ||
| 5 | | Matthias Baaz, Norbert Preining, Richard Zach: First-order Gödel logics. Ann. Pure Appl. Logic 147(1-2): 23-47 (2007) |
| 2006 | ||
| 4 | | Matthias Baaz, Norbert Preining, Richard Zach: Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL 2006: 9 |
| 2003 | ||
| 3 | | Matthias Baaz, Norbert Preining, Richard Zach: Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL 2003: 175-180 |
| 2002 | ||
| 2 | | Norbert Preining: Gödel Logics and Cantor-Bendixon Analysis. LPAR 2002: 327-336 |
| 1997 | ||
| 1 |  | Norbert Preining: Sketch-as-Proof. Kurt Gödel Colloquium 1997: 264-277 |
| 1 | Matthias Baaz | [3] [4] [5] [6] [7] |
| 2 | Agata Ciabattoni | [7] |
| 3 | Richard Zach | [3] [4] [5] |