![]() | ![]() |
1994 | ||
---|---|---|
3 | M. Bergère, Gérard Ferrand, Jean-Hugues Réty: Indépendance de la règle de calcul pour la résolution SLD avec retard. JFPLC 1994: 31-46 | |
1990 | ||
2 | M. Bergère, Gérard Ferrand: A Semantics for Error Declarative Notion of Logic Programs with Negation. LPE 1990: 57-62 | |
1 | M. Bergère, Gérard Ferrand: Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT 1990: 263-292 |
1 | Gérard Ferrand | [1] [2] [3] |
2 | Jean-Hugues Réty | [3] |