- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| j2 |      | 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 | ||
| c13 | | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz: One Binary Horn Clause is Enough. STACS 1994: 21-32 |
| 1993 | ||
| j1 | | Philippe Devienne, Patrick Lebègue, Max Dauchet: Weighted Systems of Equations. Theor. Comput. Sci. 119(1): 39-62 (1993) |
| c12 |  | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier: The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. ILPS 1993: 250-265 |
| c11 | | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier: Halting Problem of One Binary Horn Clause is Undecidable. STACS 1993: 48-57 |
| 1992 | ||
| c10 | | 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 |
| c9 | | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Termination induction by means of an abstract OLDT resolution. JFPL 1992: 353-373 |
| c8 | | Anne Parrain, Philippe Devienne, Patrick Lebègue: Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. LOPSTR 1992: 228-241 |
| c7 | | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier: Weighted Systems Revisited. WSA 1992: 163-173 |
| c6 | | Anne Parrain, Philippe Devienne, Patrick Lebègue: Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA 1992: 295-303 |
| 1991 | ||
| c5 | | Christophe Lecoutre, Philippe Devienne, Patrick Lebègue: Abstract Interpretation and Recursive Behaviour of Logic Programs. LOPSTR 1991: 147-166 |
| c4 | | Anne Parrain, Philippe Devienne, Patrick Lebègue: Prolog Program Transformations and Meta-Interpreters. LOPSTR 1991: 238-251 |
| c3 | | 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 |
| c2 | | 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 |
| 1986 | ||
| c1 | | Philippe Devienne, Patrick Lebègue: Weighted Graphs: A Tool for Logic Programming. CAAP 1986: 100-111 |
| 1 | Max Dauchet | |
| 2 | Philippe Devienne | |
| 3 | Christophe Lecoutre | |
| 4 | Anne Parrain | |
| 5 | Jean-Christophe Routier | |
| 6 | Jörg Würtz |
Data released under the ODC-BY 1.0 license — See also our legal information page