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

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