Michel Bergère

Publication Activity (10 Years)

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

Publications

Michel 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)
Michel Bergère, Gérard Ferrand, Jean-Hugues Réty
Indipendence of the Computation Rule for SLD-derivation with delay. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Michel Bergère, Gérard Ferrand
Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation. SPLT (1990)
Michel Bergère, Gérard Ferrand
A Semantics for Error Declarative Notion of Logic Programs with Negation. LPE (1990)