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


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