No. Title Author Year
1 Dependency Concepts up to Equivalence Grädel, Erich et al. 2018
2 Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361) Dawar, Anuj et al. 2018
3 Advice Automatic Structures and Uniformly Automatic Classes Abu Zaid, Faried et al. 2017
4 The Model-Theoretic Expressiveness of Propositional Proof Systems Grädel, Erich et al. 2017
5 Counting in Team Semantics Grädel, Erich et al. 2016
6 Logics for Dependence and Independence (Dagstuhl Seminar 15261) Grädel, Erich et al. 2016
7 Rank Logic is Dead, Long Live Rank Logic! Grädel, Erich et al. 2015
8 Banach-Mazur Games with Simple Winning Strategies Grädel, Erich et al. 2012
9 Definability of linear equation systems over groups and rings Dawar, Anuj et al. 2012
10 The Field of Reals is not omega-Automatic Abu Zaid, Faried et al. 2012
Current Page :
Number of result pages: 2
Number of documents: 11

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