Search the dblp DataBase

Publications of Author

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