|
| | Preview | Author(s) | Title | Type | Issue Date |
| 221 | | Baaz, Matthias ; Lolic, Anela | First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation | Konferenzbeitrag Inproceedings | 2017 |
| 222 | | Baaz, Matthias ; Preining, Norbert | Gödel logics and the fully boxed fragment of LTL | Artikel Article | 2017 |
| 223 | | Rossegger, Dino | On Functors enumerating structures | Artikel Article | 2017 |
| 224 | | Ebner, Gabriel ; Ullrich, Sebastian ; Roesch, Jared ; Avigad, Jeremy ; de Moura, Leonardo | A metaprogramming framework for formal verification | Artikel Article | 2017 |
| 225 | | Kuich, Werner ; Droste, Manfred ; Esik, Zoltan | The Triple-Pair Construction for Weighted Omega-Pushdown Automata | Konferenzbeitrag Inproceedings | 2017 |
| 226 | | Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco ; Bazhenov, Nicolay | Computable Bi-Embeddable Categoricity of Equivalence Structures | Konferenzbeitrag Inproceedings | 2017 |
| 227 | | San Mauro, Luca Francesco ; Fokina, Ekaterina ; Rossegger, Dino | Bi-Embeddability Spectra of Structures | Konferenzbeitrag Inproceedings | 2017 |
| 228 | | Wolfsteiner, Simon Peter | Concise Description of Finite Languages, Revisited | Konferenzbeitrag Inproceedings | 2017 |
| 229 | | Fokina, Ekaterina ; Rossegger, Dino ; San Mauro, Luca Francesco | Bi-embeddability Spectra of Structures | Konferenzbeitrag Inproceedings | 2017 |
| 230 | | ASCHIERI, FEDERICO | Game semantics and the geometry of backtracking: a new complexity analysis and interaction | Artikel Article  | 2017 |
| 231 | | ASCHIERI, FEDERICO | Constructive forcing, CPS translations and witness extraction in Interactive realizability | Artikel Article | 2017 |
| 232 | | Aguilera, Juan P. ; Ülkü, Levent | On the maximization of menu-dependent internal orders | Artikel Article | 2017 |
| 233 | | Aguilera, Juan Pablo ; Fernández-Duque, David | Verification Logic | Artikel Article | 2017 |
| 234 | | Ésik, Zoltán ; Kuich, Werner | Continuous Semiring - Semimodule Pairs and Mixed Algebraic Systems | Artikel Article | 2017 |
| 235 | | Droste, Manfred ; Kuich, Werner | A Kleene Theorem for Weighted Omega-Pushdown Automata | Artikel Article | 2017 |
| 236 | | AGUILERA, JUAN P. ; FERNÁNDEZ-DUQUE, DAVID | Strong completeness of provability logic for ordinal spaces | Artikel Article | 2017 |
| 237 | | Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel | Boolean Unification with Predicates | Artikel Article | 2017 |
| 238 | | Kuich, Werner ; Esik, Zoltan | Solving Fixed Point Equations over Complete Semirings | Buchbeitrag Book Contribution | 2017 |
| 239 | | Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian | System Description: GAPT 2.0 | Konferenzbeitrag Inproceedings | 12-Jun-2016 |
| 240 | | Baaz, Matthias ; Ciabattoni, Agata | Proof theory of witnessed Gödel logic: A negative result | Artikel Article | 1-Feb-2016 |
