Michel Levy

Publication Activity (10 Years)

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

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Michel Levy, Laurent Trilling
A PVS-Based Approach for Teaching Constructing Correct Iterations. World Congress on Formal Methods (1999)
Michel Levy
Prover KT4. TABLEAUX (1998)
Jeanne Idt, Michel Levy, Laurent Trilling
Constraints that Assist in the Teaching of Logic Programming. ICLP Workshop: Logic Programming and Education (1994)
Michel Levy
A new theoretical approach to relaxation, application to edge detection. ICPR (1988)