|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Kawakami Pacheco, Leonardo | The µ-calculus’ collapse on variations of S5 | Inproceedings Konferenzbeitrag | 6-Jun-2023 |
| 2 | | Csima, Barbara F. ; Rossegger, Dino ; Yu, Daniel | Positive Enumerable Functors | Konferenzbeitrag Inproceedings | 2021 |
| 3 | | Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David | A non-hyperarithmetical Gödel logic. | Beitrag in Tagungsband Inproceedings  | 2021 |
| 4 | | Droste, Manfred ; Dziadek, Sven ; Kuich, Werner | Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words | Konferenzbeitrag Inproceedings | 2020 |
| 5 | | Baaz, Matthias ; Lolic, Anela | A Globally Sound Analytic Calculus for Henkin Quantifiers | Konferenzbeitrag Inproceedings | 2020 |
| 6 | | Baaz, Matthias ; Lolic, Anela | Note on Globally Sound Analytic Calculi for Quantifier Macros | Konferenzbeitrag Inproceedings | 2019 |
| 7 | | Ebner, Gabriel | Herbrand Construictivization for Automated Intuitionistic Theorem Proving | Konferenzbeitrag Inproceedings | 2019 |
| 8 | | Kuich, Werner ; Droste, Manfred ; Dziadek, Sven | Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata | Konferenzbeitrag Inproceedings | 2019 |
| 9 | | San Mauro, Luca Francesco ; Fokina, Ekaterina ; Koetzing, Timo | Limit Learning Equivalence Structures | Konferenzbeitrag Inproceedings | 2019 |
| 10 | | Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem | Konferenzbeitrag Inproceedings | 2018 |
| 11 | | Lolic, Anela ; Baaz, Matthias | Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic | Konferenzbeitrag Inproceedings | 2018 |
| 12 | | Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan | Complexity of decision problems on totally rigid acyclic tree grammars | Konferenzbeitrag Inproceedings | 2018 |
| 13 | | Baaz, Matthias ; Preining, Norbert | First Order Gödel Logics with propositional quantifiers | Konferenzbeitrag Inproceedings | 2018 |
| 14 | | Rossegger, Dino | Elementary Bi-embeddability Spectra of Structures | Konferenzbeitrag Inproceedings | 2018 |
| 15 | | Ebner, Gabriel | Fast Cut-Elimination using Proof Terms: An Empirical Study | Konferenzbeitrag Inproceedings | 2018 |
| 16 | | Hetzl, Stefan ; Wolfsteiner, Simon | Cover Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 17 | | Holzer, Markus ; Gruber, Hermann ; Wolfsteiner, Simon Peter | On Minimal Grammar Problems for Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 18 | | Holzer, Markus ; Wolfsteiner, Simon | On the Grammatical Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 19 | | Baaz, Matthias ; Lolic, Anela | First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation | Konferenzbeitrag Inproceedings | 2017 |
| 20 | | Kuich, Werner ; Droste, Manfred ; Esik, Zoltan | The Triple-Pair Construction for Weighted Omega-Pushdown Automata | Konferenzbeitrag Inproceedings | 2017 |
