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.