|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Ebner, Gabriel | Tree Grammars for Induction on Inductive Data Types modulo Equational Theories | Präsentation Presentation | 2018 |
| 2 | | Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem | Konferenzbeitrag Inproceedings | 2018 |
| 3 | | Lolic, Anela ; Baaz, Matthias | Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic | Konferenzbeitrag Inproceedings | 2018 |
| 4 | | Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan | Complexity of decision problems on totally rigid acyclic tree grammars | Konferenzbeitrag Inproceedings | 2018 |
| 5 | | Baaz, Matthias ; Preining, Norbert | First Order Gödel Logics with propositional quantifiers | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Rossegger, Dino | Elementary Bi-embeddability Spectra of Structures | Konferenzbeitrag Inproceedings | 2018 |
| 7 | | Ebner, Gabriel | Fast Cut-Elimination using Proof Terms: An Empirical Study | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Hetzl, Stefan ; Wolfsteiner, Simon | Cover Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Holzer, Markus ; Gruber, Hermann ; Wolfsteiner, Simon Peter | On Minimal Grammar Problems for Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 10 | | Holzer, Markus ; Wolfsteiner, Simon | On the Grammatical Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 11 | | Eberhard, Sebastian ; Hetzl, Stefan | On the Compressibility of Finite Languages and Formal Proofs | Artikel Article  | 2018 |
| 12 | | Hetzl, Stefan ; Wong, Tin Lok | Some observations on the logical foundations of inductive theorem proving | Artikel Article | 2018 |
| 13 | | Baaz, Matthias ; Preining, Norbert | On the Classification of First Order Gödel Logics | Artikel Article | 2018 |
| 14 | | Bazhenov, N. A. ; Fokina, E. B. ; Rossegger, D. ; San Mauro, L. | Computable Bi-Embeddable Categoricity | Artikel Article | 2018 |
| 15 | | Bazhenov, Nikolay ; Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca | Degrees of Bi-Embeddable Categoricity of Equivalence Structures | Artikel Article | 2018 |
| 16 | | Fokina, Ekaterina | Preface | Artikel Article | 2018 |
| 17 | | Droste, Manfred ; Kuich, Werner | Weighted omega-Restricted One-Counter Automata | Artikel Article | 2018 |
| 18 | | Amidei, Jacopo ; Andrews, Uri ; Pianigiani, Duccio ; San Mauro, Luca Francesco ; Sorbi, Andrea | Trial and error mathematics:Dialectical systems and completions of theories | Artikel Article | 2018 |
| 19 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco | Logic-Based Concurrent Calculi | Präsentation Presentation | 2018 |
| 20 | | Beckmann, Arnold ; Preining, Norbert | Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning | Artikel Article | 2018 |
