Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Nicole VERCUEIL-LAFAYE de MICHEAUX

Année
Publications
Files &
Ref.IML
2003 Lafaye de Micheaux Nicole, Lopez Gérard, Vitiello P., Beauvois J. L.
Formalizing the transformations of a cognitive universe.
Discrete models for complex systems, DMCS '03 (Lyon), 141--153 (electronic), Discrete Math. Theor. Comput. Sci. Proc., AB, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2003.
 
1996 Vercueil-Lafaye de Micheaux Nicole, Rambaud Christiane.
Confluence for graph transformations,
Theoret. Comput. Sci. 154, no. 2, 329--348, 1996
[LR96]
1989 Vercueil-Lafaye de Micheaux Nicole, Preller A.
Intensional equality in categories with structure and coherence problems,
Z. Math. Logik Grundlag. Math. 34, no. 5, 421--432, 1988
 


Last update : july 8, 2004, EL.