No. | Title | Author | Year |
---|---|---|---|
1 | Order-Invariant First-Order Logic over Hollow Trees | Grange, Julien et al. | 2020 |
2 | Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion | Segoufin, Luc et al. | 2017 |
3 | The Power of Programs over Monoids in DA | Grosshans, Nathan et al. | 2017 |
4 | A glimpse on constant delay enumeration (Invited Talk) | Segoufin, Luc | 2014 |
5 | Foundations of distributed data management (Dagstuhl Seminar 11421) | Abiteboul, Serge et al. | 2012 |
6 | Automata based verification over linearly ordered data domains | Segoufin, Luc et al. | 2011 |
7 | Bottom-up automata on data trees and vertical XPath | Figueira, Diego et al. | 2011 |
8 | Unary negation | ten Cate, Balder et al. | 2011 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 8 |