| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Nicole Bidoit Nicole Bidoit, Matthieu Objois : Temporal Query Languages Expressive Power: µTL versus T-WHILE. TIME 2005 : 74-82 Nicole Bidoit, Sandra de Amo , Luc Segoufin : Order Independent Temporal Properties. J. Log. Comput. 14 (2): 277-298 (2004) Nicole Bidoit, Serenella Cerrito , V. Thion : A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. Journal of Applied Non-Classical Logics 14 (4): 447-475 (2004) Nicole Bidoit, Sofian Maabout , Mourad Ykhlef : A Family of Nested Query Languages for Semi-structured Data. FoIKS 2000 : 13-30 Nicole Bidoit, Sandra de Amo : Implicit Temporal Query Languages: Towards Completeness. FSTTCS 1999 : 245-257 Nicole Bidoit, Sandra de Amo : Langages de requêtes temporels: passé relatif versus passé absolu. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999 : 449-467 Nicole Bidoit, Sofian Maabout , Mourad Ykhlef : Un langage imbriqué pour l'interrogation et l'intégration de données semistructurées. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999 : 63-82 Nicole Bidoit, Mourad Ykhlef : Fixpoint Calculus for Querying Semistructured Data. WebDB 1998 : 78-97 Nicole Bidoit, Sandra de Amo : A First Step Towards Implementing Dynamic Algebraic Dependences. Theor. Comput. Sci. 190 (2): 115-149 (1998) Nicole Bidoit, Sofian Maabout : A Model Theoretic Approach to Update Rule Programs. ICDT 1997 : 173-187 Nicole Bidoit, Sofian Maabout : Une Sémantique Trivaluée pour un langage de Règles de Mise à jour. BDA 1996 : 397-416 Nicole Bidoit, Sofian Maabout : Update Programs Versus Revision Programs. NMELP 1996 : 151-170 Nicole Bidoit, Serenella Cerrito , Christine Froidevaux : A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6 (3): 439-463 (1996) Nicole Bidoit, Sandra de Amo : A First Step Towards Implementing Dynamic Algebraic Dependencies. ICDT 1995 : 308-321 Nicole Bidoit: Dixièmes Journées Bases de Données Avancées, 30 Août - 2 Septembre 1994, Clermont-Ferrand INRIA 1994 Nicole Bidoit, Claude Delobel , Laurent Vieille : Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille. BDA 1993 : 139- Nicole Bidoit, Sandra de Amo : Constraintes Dynamiques d'Inclusion et Schémas Transactionnels. BDA 1993 : 401-424 Nicole Bidoit: Session d'information animée par Nicole Bidoit. BDA 1993 : 445- Nicole Bidoit, Christine Froidevaux : General Logical Databases and Programs: Default Logic Semantics and Stratification Inf. Comput. 91 (1): 15-54 (1991) Nicole Bidoit: Negation in Rule-Based Database Languages: A Survey. Theor. Comput. Sci. 78 (1): 3-83 (1991) Nicole Bidoit, Christine Froidevaux : Negation by Default and Unstratifiable Logic Programs. Theor. Comput. Sci. 78 (1): 86-112 (1991) Nicole Bidoit, P. Legay : WELL!: An Evaluation Procedure for All Logic Programs. ICDT 1990 : 335-348 Nicole Bidoit, Richard Hull : Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38 (2): 290-325 (1989) Nicole Bidoit, Christine Froidevaux : Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. BDA 1988 : 181-198 Nicole Bidoit, Christine Froidevaux : More on Stratified Default Theories. ECAI 1988 : 492-494 Nicole Bidoit, Christine Froidevaux : Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming LICS 1987 : 89-97 Michel Scholl , Serge Abiteboul , François Bancilhon , Nicole Bidoit, Sophie Gamerman , Didier Plateau , Philippe Richard , Anne Verroust : VERSO: A Database Machine Based On Nested Relations. NF² 1987 : 27-49 Nicole Bidoit: The Verso Algebra or How to Answer Queries with Fewer Joins. J. Comput. Syst. Sci. 35 (3): 321-364 (1987) Nicole Bidoit, Richard Hull : Positivism vs. Minimalism in Deductive Databases. PODS 1986 : 123-132 Serge Abiteboul , Nicole Bidoit: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33 (3): 361-393 (1986) Serge Abiteboul , Nicole Bidoit: Non First Normal Form Relations to Represent Hierarchical Organized Data. PODS 1984 : 191-200 1 [ 1 ] [ 2 ] [ 5 ] 2 [ 15 ] [ 18 ] [ 23 ] [ 26 ] [ 27 ] [ 30 ] 3 [ 5 ] 4 [ 19 ] [ 29 ] 5 [ 16 ] 6 [ 6 ] [ 7 ] [ 8 ] [ 11 ] [ 13 ] [ 19 ] 7 [ 5 ] 8 [ 3 ] [ 9 ] 9 [ 10 ] 10 [ 20 ] [ 21 ] [ 22 ] [ 25 ] [ 28 ] 11 [ 31 ] 12 [ 5 ] 13 [ 5 ] 14 [ 5 ] 15 [ 30 ] 16 [ 29 ] 17 [ 5 ] 18 [ 16 ] 19 [ 24 ] [ 25 ] [ 28 ]  ©2006 Association for Computing Machinery |
