No. Title Author Year
1 Elementary Equivalence Versus Isomorphism in Semiring Semantics Grädel, Erich et al. 2021
2 Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) Gottlob, Georg et al. 2021
3 Semiring Provenance for Fixed-Point Logic Dannert, Katrin M. et al. 2021
4 Guarded Teams: The Horizontally Guarded Case Grädel, Erich et al. 2020
5 Approximations of Isomorphism and Logics with Linear-Algebraic Operators Dawar, Anuj et al. 2019
6 Choiceless Logarithmic Space Grädel, Erich et al. 2019
7 Logics for Dependence and Independence (Dagstuhl Seminar 19031) Grädel, Erich et al. 2019
8 Dependency Concepts up to Equivalence Grädel, Erich et al. 2018
9 Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) Dawar, Anuj et al. 2018
10 Advice Automatic Structures and Uniformly Automatic Classes Abu Zaid, Faried et al. 2017
11 The Model-Theoretic Expressiveness of Propositional Proof Systems Grädel, Erich et al. 2017
12 Counting in Team Semantics Grädel, Erich et al. 2016
13 Logics for Dependence and Independence (Dagstuhl Seminar 15261) Grädel, Erich et al. 2016
14 Rank Logic is Dead, Long Live Rank Logic! Grädel, Erich et al. 2015
15 Banach-Mazur Games with Simple Winning Strategies Grädel, Erich et al. 2012
16 Definability of linear equation systems over groups and rings Dawar, Anuj et al. 2012
17 The Field of Reals is not omega-Automatic Abu Zaid, Faried et al. 2012
18 Model Checking Games for the Quantitative µ-Calculus Fischer , Diana et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 18


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI