Pages that link to "Item:Q555774"
From MaRDI portal
The following pages link to On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases (Q555774):
Displaying 3 items.
- Incremental and decremental evaluation of transitive closure by first- order queries (Q1898482) (← links)
- Deciding the point-to-fixed-point problem for skew tent maps on an interval (Q2208250) (← links)
- On the convergence of query-bounded computations and logical closure properties of c.e. sets (Q4328820) (← links)