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