N. Lafaye de Micheaux

Publication Activity (10 Years)

Years Active: 1988-1996
Publications (10 Years): 0

Publications

N. Lafaye de Micheaux, C. Rambau
Confluence for Graph Transformations. Theor. Comput. Sci. 154 (2) (1996)
Anne Preller, N. Lafaye de Micheaux
Intensional Equality in Categories With Structure and Coherence Problems. Math. Log. Q. 34 (5) (1988)