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


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