The following pages link to Amélie Gheerbrant (Q269318):
Displaying 10 items.
- Certain answers over incomplete XML documents: extending tractability boundary (Q269320) (← links)
- Static analysis and query answering for incomplete data trees with constraints (Q1799308) (← links)
- (Q2904051) (← links)
- Game Solution, Epistemic Dynamics and Fixed-Point Logics (Q3065009) (← links)
- Recursive complexity of the Carnap first order modal logic C (Q3376542) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Craig Interpolation for Linear Temporal Languages (Q3644755) (← links)
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees (Q4899112) (← links)
- Naïve Evaluation of Queries over Incomplete Databases (Q5012509) (← links)
- A Researcher's Digest of GQL (invited talk) (Q6615169) (← links)
