| 1995 |
|---|
| 13 | | Christian Codognet,
Philippe Codognet:
Guarded Constructive Disjunction: Angel or Demon?
CP 1995: 345-361 |
| 12 | | Christian Codognet,
Philippe Codognet:
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation.
Constraint Processing, Selected Papers 1995: 39-49 |
| 1994 |
|---|
| 11 | | Christian Codognet,
Philippe Codognet:
Abduction and Concurrent Logic Languages.
ECAI 1994: 75-79 |
| 10 | | Emmanuel Chailloux,
Christian Codognet,
Philippe Codognet:
Finite Domain Constraints in the ML Functional Language.
ICTAI 1994: 784-787 |
| 9 | | Christian Codognet,
Philippe Codognet,
Vincenzo Loia,
Michel Quaggetto:
Sleepers: A Versatile High-Level Control Mechanism.
PLILP 1994: 308-323 |
| 1990 |
|---|
| 8 | | Christian Codognet,
Philippe Codognet,
Marc-Michel Corsini:
Abstract Interpretation for Concurrent Logic Languages.
NACLP 1990: 215-232 |
| 7 | | Christian Codognet,
Philippe Codognet,
Marc-Michel Corsini:
Abstract Interpretation from Prolog to Concurrent Prolog.
SPLT 1990: 351-370 |
| 1989 |
|---|
| 6 | | Christian Codognet,
Philippe Codognet:
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking.
ICLP 1989: 63-79 |
| 5 | | Christian Codognet,
Philippe Codognet:
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking.
SPLT 1989: 423-440 |
| 1988 |
|---|
| 4 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
Yet Another Intelligent Backtracking Method.
ICLP/SLP 1988: 447-465 |
| 3 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
Yet another intelligent Backtracking method.
SPLT 1988: 317-336 |
| 1986 |
|---|
| 2 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
A Very Intelligent Backtracking Method for Logic Programs.
ESOP 1986: 315-326 |
| 1 | | Christian Codognet,
Philippe Codognet,
Gilberto Filé:
Backtracking intelligent en programmation logique.
SPLT 1986: 25-50 |
