The following pages link to Gaëlle Fontaine (Q269315):
Displaying 21 items.
- On the data complexity of consistent query answering (Q269317) (← links)
- (Q702146) (redirect page) (← links)
- HST/STIS observations of sdBV stars: testing diffusion and pulsation theory (Q702149) (← links)
- Cycle detection in computation tree logic (Q1784962) (← links)
- On the data complexity of consistent query answering over graph databases (Q2361352) (← links)
- Expressive Path Queries on Graphs with Data (Q2870115) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- Why Is It Hard to Obtain a Dichotomy for Consistent Query Answering? (Q2946755) (← links)
- Vietoris Bisimulations (Q3056296) (← links)
- Expressive Path Queries on Graph with Data (Q3196358) (← links)
- (Q3509050) (← links)
- Continuous Fragment of the mu-Calculus (Q3540176) (← links)
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees (Q3557849) (← links)
- Frame Definability for Classes of Trees in the μ-calculus (Q3586099) (← links)
- Automata for Coalgebras: An Approach Using Predicate Liftings (Q3587454) (← links)
- (Q4603451) (← links)
- (Q4803184) (← links)
- (Q5015276) (← links)
- Why is it Hard to Obtain a Dichotomy for Consistent Query Answering? (Q5271093) (← links)
- On the Data Complexity of Consistent Query Answering over Graph Databases. (Q5738946) (← links)
- Multidomain Extension of a Pseudospectral Algorithm for the Direct Simulation of Wall-Confined Rotating Flows (Q5745788) (← links)
