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

DROPS-Home | Fulltext Search | Imprint Published by LZI