Jean-Paul Billon

According to our database, Jean-Paul Billon authored at least 3 papers between 1988 and 1996.

Collaborative distances:

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

1996

The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework.

Jean-Paul Billon

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

1989

Automating the diagnosis and the rectification of design errors with PRIAM.

Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988

Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour.

Jean Christophe Madre, Jean-Paul Billon

Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988