Christian Codognet

Publication Activity (10 Years)

Years Active: 1986-1995
Publications (10 Years): 0

Publications

Christian Codognet, Philippe Codognet
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. Constraint Processing, Selected Papers (1995)
Christian Codognet, Philippe Codognet
Guarded Constructive Disjunction: Angel or Demon? CP (1995)
Christian Codognet, Philippe Codognet
Abduction and Concurrent Logic Languages. ECAI (1994)
Emmanuel Chailloux, Christian Codognet, Philippe Codognet
Finite Domain Constraints in the ML Functional Language. ICTAI (1994)
Christian Codognet, Philippe Codognet, Vincenzo Loia, Michel Quaggetto
Sleepers: A Versatile High-Level Control Mechanism. PLILP (1994)
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation for Concurrent Logic Languages. NACLP (1990)
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation from Prolog to Concurrent Prolog. SPLT (1990)
Christian Codognet, Philippe Codognet
Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking. ICLP (1989)
Christian Codognet, Philippe Codognet
Non-deterministic Stream AND-parallelism based on Intelligent Backtracking. SPLT (1989)
Christian Codognet, Philippe Codognet, Gilberto Filé
Yet Another Intelligent Backtracking Method. ICLP/SLP (1988)
Christian Codognet, Philippe Codognet, Gilberto Filé
Yet another intelligent Backtracking method. SPLT (1988)
Christian Codognet, Philippe Codognet, Gilberto Filé
Backtracking intelligent en programmation logique. SPLT (1986)
Christian Codognet, Philippe Codognet, Gilberto Filé
A Very Intelligent Backtracking Method for Logic Programs. ESOP (1986)