| 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 |