- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j6 |      | Matthias Baaz, Agata Ciabattoni, Norbert Preining: First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. 412(47): 6612-6623 (2011) |
| j5 | | Matthias Baaz, Agata Ciabattoni, Norbert Preining: First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. 412(47): 6612-6623 (2011) |
| 2010 | ||
| c6 | | |
| 2009 | ||
| c5 | | Matthias Baaz, Agata Ciabattoni, Norbert Preining: SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC 2009: 113-123 |
| 2008 | ||
| j4 | | Matthias Baaz, Norbert Preining: Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. J. Log. Comput. 18(4): 649-668 (2008) |
| j3 | | Arnold Beckmann, Martin Goldstern, Norbert Preining: Continuous Fraïssé Conjecture. Order 25(4): 281-298 (2008) |
| 2007 | ||
| j2 | | Matthias Baaz, Norbert Preining, Richard Zach: First-order Gödel logics. Ann. Pure Appl. Logic 147(1-2): 23-47 (2007) |
| j1 | | Arnold Beckmann, Norbert Preining: Linear Kripke frames and Gödel logics. J. Symb. Log. 72(1): 26-44 (2007) |
| 2006 | ||
| c4 | | Matthias Baaz, Norbert Preining, Richard Zach: Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL 2006: 9 |
| 2003 | ||
| c3 | | Matthias Baaz, Norbert Preining, Richard Zach: Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL 2003: 175-180 |
| 2002 | ||
| c2 | | |
| 1997 | ||
| c1 | | |
| 1 | Matthias Baaz | |
| 2 | Arnold Beckmann | |
| 3 | Agata Ciabattoni | |
| 4 | Martin Goldstern | |
| 5 | Richard Zach |
Colors in the list of coauthors
Last update Tue May 21 19:31:50 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page