Michel Levy

According to our database, Michel Levy authored at least 5 papers between 1988 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

A PVS-Based Approach for Teaching Constructing Correct Iterations.

Michel Levy, Laurent Trilling

Proceedings of the FM'99 - Formal Methods, 1999

1998

Prover KT4.

Michel Levy

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

1994

Constraints that Assist in the Teaching of Logic Programming.

Jeanne Idt, Michel Levy, Laurent Trilling

Proceedings of the ICLP 1994 Workshop W11: Logic Programming and Education, 1994

1991

Contribution à l'analyse de la methode des tableaux.

Michel Levy

PhD thesis, 1991

1988

A new theoretical approach to relaxation, application to edge detection.

Michel Levy

Proceedings of the 9th International Conference on Pattern Recognition, 1988