Pages that link to "Item:Q5277909"
From MaRDI portal
The following pages link to Effective Interpolation and Preservation in Guarded Logics (Q5277909):
Displaying 8 items.
- Interpolation and definability in guarded fragments (Q1604801) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- Effective interpolation and preservation in guarded logics (Q4635596) (← links)
- Semiring Provenance for Guarded Logics (Q5015965) (← links)
- (Q5232911) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703755) (← 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)