Grard Ferrand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1991–2003
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | FlAIRS | Correctness of Constraint Retraction Algorithms. | Romuald Debruyne, Grard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, Alexandre Tessier |
| 2002 | ICLP | A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs. | Grard Ferrand, Arnaud Lallouet |
| 1994 | ICLP | Indipendence of the Computation Rule for SLD-derivation with delay. | Michel Bergre, Grard Ferrand, Jean-Hugues Rty |
| 1992 | ICLP | Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. | Grard Ferrand, Pierre Deransart |
| 1991 | ICLP | Basic Concepts of Logic Programming and Prolog. | Grard Ferrand |