No. Title Author Year
1 Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) Gottlob, Georg et al. 2021
2 Fractional Covers of Hypergraphs with Bounded Multi-Intersection Gottlob, Georg et al. 2020
3 Datalog: Bag Semantics via Set Semantics Bertossi, Leopoldo et al. 2019
4 The ICDT 2016 Test of Time Award Announcement Afrati, Foto N. et al. 2016
5 Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351) van Rooij, Iris et al. 2011
6 Structural Decomposition Methods and What They are Good For Aschinger, Markus et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 6

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