Bernard Malfon

Publication Activity (10 Years)

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

Publications

Bernard Malfon
Quelques modèles quadrivalués du comlété. Application à des notions déclaratives de symptôme et d'erreur. JFPLC (1996)
Bernard Malfon
Typage et validation - une adaptation du point de vue de Lee Naish. JFPLC (1995)
Bernard Malfon, Gérard Ferrand
Type Correct programs: A semantic approach. ILPS (1995)
Bernard Malfon
Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation. ILPS (1994)
Bernard Malfon
Caractérisation de diverses sémantiques pour des programmes logiques avec négation et application à la validation de programmes. JFPLC (1994)