Patrick Lebègue

15 papers A 2C 3Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
1996 J jnl
Smallest Horn Clause Programs.
J. Log. Program.
Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz
1994 A conf
One Binary Horn Clause is Enough.
STACS
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz
1993 A conf
Halting Problem of One Binary Horn Clause is Undecidable.
STACS
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1993 — conf
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.
ILPS
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1993 J jnl
Weighted Systems of Equations.
Theor. Comput. Sci.
Philippe Devienne, Patrick Lebègue, Max Dauchet
1992 — conf
Halting Problem of One Binary Horn Clause id Undecidable.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1992 — conf
Termination induction by means of an abstract OLDT resolution.
JFPL
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
1992 C conf
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.
LOPSTR
Anne Parrain, Philippe Devienne, Patrick Lebègue
1992 — conf
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation.
WSA
Anne Parrain, Philippe Devienne, Patrick Lebègue
1992 — conf
Weighted Systems Revisited.
WSA
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
1991 C conf
Abstract Interpretation and Recursive Behaviour of Logic Programs.
LOPSTR
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
1991 C conf
Prolog Program Transformations and Meta-Interpreters.
LOPSTR
Anne Parrain, Philippe Devienne, Patrick Lebègue
1991 — conf
Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.
JTASPEFT/WSA
Anne Parrain, Philippe Devienne, Patrick Lebègue
1991 — conf
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.
JTASPEFT/WSA
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
1986 — conf
Weighted Graphs: A Tool for Logic Programming.
CAAP
Philippe Devienne, Patrick Lebègue