|
| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | Ciabattoni, Agata ; Straßburger, Lutz ; Terui, Kazushige | Expanding the realm of systematic proof theory | Konferenzbeitrag Inproceedings  | 2009 |
| 62 | | Jenei, Sándor | An overview on the algebraic aspects of residuated monoids on [0, 1] with outlooks | Konferenzbeitrag Inproceedings | 2009 |
| 63 | | Jenei, Sándor | On the Structure of Finite Involutive Uninorm Chains | Konferenzbeitrag Inproceedings | 2009 |
| 64 | | Adlassnig, Klaus-Peter ; Ciabattoni, Agata ; Vetterlein, Thomas | A Formal Logical Framework for Cadiag-2 | Konferenzbeitrag Inproceedings | 2009 |
| 65 | | Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige | From Axioms to Analytic Rules in Nonclassical Logics | Konferenzbeitrag Inproceedings | 2008 |
| 66 | | Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian | Cut elimination for first order Gödel logic by hyperclause resolution | Konferenzbeitrag Inproceedings | 2008 |
| 67 | | Esik, Zoltan ; Kuich, Werner | Fixed points in semiring theory | Konferenzbeitrag Inproceedings | 2007 |
| 68 | | Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian | Monadic Fragments of Gödel Logics: Decidability and Undecidability Results | Konferenzbeitrag Inproceedings | 2007 |
| 69 | | Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik | System Description: The Cut-Elimination System CERES | Konferenzbeitrag Inproceedings | 2006 |
| 70 | | Terwijn, Sebastiaan A. | Learning and computing in the limit | Konferenzbeitrag Inproceedings | 2006 |
| 71 | | Baaz, Matthias ; Preining, Norbert ; Zach, Richard | Completeness of a hypersequent calculus for some first-order Gödel logics with delta | Konferenzbeitrag Inproceedings | 2006 |
| 72 | | Ciabattoni, Agata ; Terui, Kazushige | Modular cut-elimination: finding proofs or counterexamples | Konferenzbeitrag Inproceedings | 2006 |
| 73 | | Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik | Proof Transformation by CERES | Konferenzbeitrag Inproceedings | 2006 |
| 74 | | Aiello, Marco ; Rosenberg, Florian ; Platzer, Christian ; Ciabattoni, Agata ; Dustdar, Schahram | Service QoS composition at the level of part names | Konferenzbeitrag Inproceedings | 2006 |
| 75 | | Terwijn, Sebastiaan A. | Kripke models, distributive lattices, and Medvedev degrees | Konferenzbeitrag Inproceedings | 2005 |
| 76 | | Baaz, Matthias | Note on formal analogical reasoning in the juridical context | Konferenzbeitrag Inproceedings | 2005 |
| 77 | | Kuich, Werner | On skew formal power series | Konferenzbeitrag Inproceedings | 2005 |
| 78 | | Baaz, Matthias | On interpolation in existence logics | Konferenzbeitrag Inproceedings | 2005 |
| 79 | | Baaz, Matthias | Herbrand's theorem and the Skolemization of Prenex fragments | Konferenzbeitrag Inproceedings | 2005 |
| 80 | | Baaz, Matthias ; Leitsch, Alexander | CERES in many-valued logics | Konferenzbeitrag Inproceedings | 2005 |
