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
Current Page :
Number of result pages: 2
Number of documents: 12


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