Michel Bergère

According to our database, Michel Bergère authored at least 4 papers between 1990 and 1994.

Collaborative distances:

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

1994

Indépendance de la règle de calcul pour la résolution SLD avec retard.

Michel Bergère, Gérard Ferrand, Jean-Hugues Réty

Proceedings of the JFPLC'94, 1994

Indipendence of the Computation Rule for SLD-derivation with delay.

Michel Bergère, Gérard Ferrand, Jean-Hugues Réty

Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1990

A Semantics for Error Declarative Notion of Logic Programs with Negation.

Michel Bergère, Gérard Ferrand

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

Une sémantique pour la notion déclarative d'erreur des programmes logiques avec négation.

Michel Bergère, Gérard Ferrand

Proceedings of the SPLT'90, 1990