No. Title Author Year
1 Canonical Decompositions in Monadically Stable and Bounded Shrubdepth Graph Classes Ohlmann, Pierre et al. 2023
2 Flipper Games for Monadically Stable Graph Classes Gajarský, Jakub et al. 2023
3 Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes Dreier, Jan et al. 2023
4 Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures Pilipczuk, Michał et al. 2022
5 Twin-Width and Types Gajarský, Jakub et al. 2022
6 Progressive Algorithms for Domination and Independence Fabianski, Grzegorz et al. 2019
7 First-Order Interpretations of Bounded Expansion Classes Gajarský, Jakub et al. 2018
8 Entropy Bounds for Conjunctive Queries with Functional Dependencies Gogacz, Tomasz et al. 2017
9 Cost Functions Definable by Min/Max Automata Colcombet, Thomas et al. 2016
10 Homomorphism Problems for First-Order Definable Structures Klin, Bartek et al. 2016
11 Models of Lambda-Calculus and the Weak MSO Logic Parys, Pawel et al. 2016
12 Non-Homogenizable Classes of Finite Structures Atserias, Albert et al. 2016
13 The MSO+U Theory of (N,<) Is Undecidable Bojanczyk, Mikolaj et al. 2016
14 Imperative Programming in Sets with Atoms Bojanczyk, Mikolaj et al. 2012
15 Weak MSO+U over infinite trees Bojanczyk, Mikolaj et al. 2012
16 Automata based verification over linearly ordered data domains Segoufin, Luc et al. 2011
17 Deterministic Automata and Extensions of Weak MSO Bojanczyk, Mikolaj et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 17

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