2008 |
14 | EE | Françoise Gire,
Hicham Idabal:
Updates and views dependencies in semi-structured databases.
IDEAS 2008: 159-168 |
2005 |
13 | EE | Françoise Gire,
Corinne Plourde:
A New Partial Semantics for Disjunctive Deductive Databases.
Fundam. Inform. 67(4): 323-342 (2005) |
1999 |
12 | | Françoise Gire,
Catherine Plourde:
A Partial Semantics for Disjunctive Deductive Databases.
Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 159-178 |
1998 |
11 | | Françoise Gire,
H. Khanh Hoang:
An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct.
Inf. Comput. 144(1): 40-65 (1998) |
1996 |
10 | | Françoise Gire,
H. Khanh Hoang:
A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.
Logic in Databases 1996: 475-495 |
1995 |
9 | | Françoise Gire,
H. Khanh Hoang:
On Relations between the Dynamic Choice Constructs and the Stable Semantics.
BDA 1995: 283-302 |
1994 |
8 | | Françoise Gire:
Equivalence of Well-Founded and Stable Semantics.
J. Log. Program. 21(2): 95-111 (1994) |
1992 |
7 | EE | Françoise Gire:
Well Founded Semantics and Stable Semantics of Semi-Strict Programs.
ICDT 1992: 261-275 |
1990 |
6 | | Françoise Gire:
Modèles par défaut des programmes effectivement déterministes.
BDA 1990: 71- |
1987 |
5 | | Joffroy Beauquier,
Françoise Gire:
Une Note sur le Théorème de Caractérisation des Générateurs Algébriques.
Theor. Comput. Sci. 51: 117-127 (1987) |
1986 |
4 | | Françoise Gire:
Two Decidability Problems for Infinite Words.
Inf. Process. Lett. 22(3): 135-140 (1986) |
1984 |
3 | | Jean-Michel Autebert,
Joffroy Beauquier,
Luc Boasson,
Françoise Gire:
Bicentres de langages algébriques.
Acta Inf. 21: 209-227 (1984) |
1983 |
2 | | Joffroy Beauquier,
Françoise Gire:
On Context-Free Generators
FOCS 1983: 215 |
1 | | Françoise Gire:
Une extension aux mots infinis de la notion de transduction rationelle.
Theoretical Computer Science 1983: 123-139 |