The following pages link to Nabil Layaïda (Q2182319):
Displaying 5 items.
- Backward type inference for XML queries (Q2182320) (← links)
- SPARQL Query Containment under RDFS Entailment Regime (Q2908485) (← links)
- Identifying query incompatibilities with evolving XML schemas (Q2936820) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)