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


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