Bernard Malfon

According to our database, Bernard Malfon authored at least 5 papers between 1994 and 1996.

Collaborative distances:

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

1996

Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur.

Bernard Malfon

Proceedings of the JFPLC'96, 1996

1995

Type Correct programs: A semantic approach.

Bernard Malfon, Gérard Ferrand

Proceedings of the Logic Programming, 1995

Typage et validation - une adaptation du point de vue de Lee Naish.

Bernard Malfon

Proceedings of the JFPLC'95, 1995

1994

Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation.

Bernard Malfon

Proceedings of the Logic Programming, 1994

Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes.

Bernard Malfon

Proceedings of the JFPLC'94, 1994