Pages that link to "Item:Q2799047"
From MaRDI portal
The following pages link to Generating plans from proofs. The interpolation-based approach to query reformulation (Q2799047):
Displaying 8 items.
- A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries (Q2274499) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- (Q5094143) (← links)
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views (Q5886523) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Executable first-order queries in the logic of information flows (Q6563053) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)