All-Instances Restricted Chase Termination For Linear Tgds | 0 | 0.34 | 2020 |
All-Instances Restricted Chase Termination | 0 | 0.34 | 2020 |
All-Instances Restricted Chase Termination: The Guarded Case. | 0 | 0.34 | 2019 |
Measure properties of regular sets of trees. | 2 | 0.41 | 2017 |
Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable. | 3 | 0.40 | 2016 |
Non-dominating Sequences of Vectors Using only Resets and Increments. | 0 | 0.34 | 2015 |
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. | 6 | 0.46 | 2015 |
Entropy bounds for conjunctive queries with functional dependencies | 2 | 0.37 | 2015 |
All-Instances Termination of Chase is Undecidable. | 10 | 0.50 | 2014 |
On the Decidability of MSO plus U on Infinite Trees | 5 | 0.54 | 2014 |
Termination of oblivious chase is undecidable. | 0 | 0.34 | 2014 |
Measure Properties of Game Tree Languages. | 11 | 0.63 | 2014 |
On the BDD/FC Conjecture. | 2 | 0.38 | 2013 |
Converging to the Chase -- A Tool for Finite Controllability | 2 | 0.41 | 2013 |