Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Christiane RAMBAUD

Année
Publications
Files &
Ref.IML
1996 Lafaye de Micheaux Nicole, Rambaud Christiane
Confluence for graph transformations,
Theoret. Comput. Sci. 154, no. 2, 329--348, 1996
[LR96]
1986 Fleury-Donnadieu Marie-Renée, Rambaud Christiane
Conditional theories,
Studia Logica 45, no. 3, 237--250, 1986
 
1979 Rambaud Christiane
Complétude en théorie sur graphes orientés [Completeness in a theory over oriented graphs],
Publ. Dép. Math. (Lyon) 16, no. 3-4, 33--37, 1979
 
1978 Fleury-Donnadieu Marie-Renée and Rambaud Christiane
Théories conditionnelles,
C. R. Acad. Sci. Paris Sér. A-B 286, no. 20, A849--A852, 1978
 
1977 Fleury-Donnadieu Marie-Renée and Rambaud Christiane
Théorèmes de complétude dans les théories sur graphes orientés,
C. R. Acad. Sci. Paris Sér. A-B 284, no. 6, A355--A358, 1977
 
1976 Rambaud Christiane
Déduction formelle dans les théories sur graphe,
C. R. Acad. Sci. Paris Sér. A-B 283, no. 4, Ai, A135--A136, 1976
 
  Blanc Georges and Rambaud Christiane
Théories formelles sur graphe,
C. R. Acad. Sci. Paris Sér. A-B 282, no. 20, Ai, A1185--A1188, 1976
 


Last update : july 8, 2004, EL.