|
| | Preview | Author(s) | Title | Type | Issue Date |
| 141 | | Ebner, Gabriel | Tree Grammars for Induction on Inductive Data Types modulo Equational Theories | Präsentation Presentation | 2018 |
| 142 | | Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela | A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem | Konferenzbeitrag Inproceedings | 2018 |
| 143 | | Lolic, Anela ; Baaz, Matthias | Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic | Konferenzbeitrag Inproceedings | 2018 |
| 144 | | Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan | Complexity of decision problems on totally rigid acyclic tree grammars | Konferenzbeitrag Inproceedings | 2018 |
| 145 | | Baaz, Matthias ; Preining, Norbert | First Order Gödel Logics with propositional quantifiers | Konferenzbeitrag Inproceedings | 2018 |
| 146 | | Rossegger, Dino | Elementary Bi-embeddability Spectra of Structures | Konferenzbeitrag Inproceedings | 2018 |
| 147 | | Ebner, Gabriel | Fast Cut-Elimination using Proof Terms: An Empirical Study | Konferenzbeitrag Inproceedings | 2018 |
| 148 | | Hetzl, Stefan ; Wolfsteiner, Simon | Cover Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 149 | | Holzer, Markus ; Gruber, Hermann ; Wolfsteiner, Simon Peter | On Minimal Grammar Problems for Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 150 | | Holzer, Markus ; Wolfsteiner, Simon | On the Grammatical Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 151 | | Eberhard, Sebastian ; Hetzl, Stefan | On the Compressibility of Finite Languages and Formal Proofs | Artikel Article  | 2018 |
| 152 | | Hetzl, Stefan ; Wong, Tin Lok | Some observations on the logical foundations of inductive theorem proving | Artikel Article | 2018 |
| 153 | | Baaz, Matthias ; Preining, Norbert | On the Classification of First Order Gödel Logics | Artikel Article | 2018 |
| 154 | | Bazhenov, N. A. ; Fokina, E. B. ; Rossegger, D. ; San Mauro, L. | Computable Bi-Embeddable Categoricity | Artikel Article | 2018 |
| 155 | | Bazhenov, Nikolay ; Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca | Degrees of Bi-Embeddable Categoricity of Equivalence Structures | Artikel Article | 2018 |
| 156 | | Fokina, Ekaterina | Preface | Artikel Article | 2018 |
| 157 | | Droste, Manfred ; Kuich, Werner | Weighted omega-Restricted One-Counter Automata | Artikel Article | 2018 |
| 158 | | 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 |
| 159 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco | Logic-Based Concurrent Calculi | Präsentation Presentation | 2018 |
| 160 | | Beckmann, Arnold ; Preining, Norbert | Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning | Artikel Article | 2018 |
