| 1996 |
|---|
| 15 | | Philippe Devienne,
Patrick Lebègue,
Anne Parrain,
Jean-Christophe Routier,
Jörg Würtz:
Smallest Horn Clause Programs.
J. Log. Program. 27(3): 227-267 (1996) |
| 1994 |
|---|
| 14 | | Philippe Devienne,
Patrick Lebègue,
Jean-Christophe Routier,
Jörg Würtz:
One Binary Horn Clause is Enough.
STACS 1994: 21-32 |
| 1993 |
|---|
| 13 | | Philippe Devienne,
Patrick Lebègue,
Jean-Christophe Routier:
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.
ILPS 1993: 250-265 |
| 12 | | Philippe Devienne,
Patrick Lebègue,
Jean-Christophe Routier:
Halting Problem of One Binary Horn Clause is Undecidable.
STACS 1993: 48-57 |
| 11 | | Philippe Devienne,
Patrick Lebègue,
Max Dauchet:
Weighted Systems of Equations.
Theor. Comput. Sci. 119(1): 39-62 (1993) |
| 1992 |
|---|
| 10 | | Christophe Lecoutre,
Philippe Devienne,
Patrick Lebègue:
Termination induction by means of an abstract OLDT resolution.
JFPL 1992: 353-373 |
| 9 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.
LOPSTR 1992: 228-241 |
| 8 | | Philippe Devienne,
Patrick Lebègue,
Jean-Christophe Routier:
Halting Problem of One Binary Horn Clause id Undecidable.
Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 5-14 |
| 7 | | Philippe Devienne,
Patrick Lebègue,
Jean-Christophe Routier:
Weighted Systems Revisited.
WSA 1992: 163-173 |
| 6 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.
WSA 1992: 295-303 |
| 1991 |
|---|
| 5 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.
JTASPEFT/WSA 1991: 132-138 |
| 4 | | Christophe Lecoutre,
Philippe Devienne,
Patrick Lebègue:
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
JTASPEFT/WSA 1991: 62-69 |
| 3 | | Christophe Lecoutre,
Philippe Devienne,
Patrick Lebègue:
Abstract Interpretation and Recursive Behaviour of Logic Programs.
LOPSTR 1991: 147-166 |
| 2 | | Anne Parrain,
Philippe Devienne,
Patrick Lebègue:
Prolog Program Transformations and Meta-Interpreters.
LOPSTR 1991: 238-251 |
| 1986 |
|---|
| 1 | | Philippe Devienne,
Patrick Lebègue:
Weighted Graphs: A Tool for Logic Programming.
CAAP 1986: 100-111 |
