Patrick Lebègue

Publication Activity (10 Years)

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

Publications

Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz
Smallest Horn Clause Programs. J. Log. Program. 27 (3) (1996)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz
One Binary Horn Clause is Enough. STACS (1994)
Philippe Devienne, Patrick Lebègue, Max Dauchet
Weighted Systems of Equations. Theor. Comput. Sci. 119 (1) (1993)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable. ILPS (1993)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
Halting Problem of One Binary Horn Clause is Undecidable. STACS (1993)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation. LOPSTR (1992)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Towards Optimization of Full Prolog Programs guided by Abstract Interpretation. WSA (1992)
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)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Termination induction by means of an abstract OLDT resolution. JFPL (1992)
Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier
Weighted Systems Revisited. WSA (1992)
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)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite. JTASPEFT/WSA (1991)
Christophe Lecoutre, Philippe Devienne, Patrick Lebègue
Abstract Interpretation and Recursive Behaviour of Logic Programs. LOPSTR (1991)
Anne Parrain, Philippe Devienne, Patrick Lebègue
Prolog Program Transformations and Meta-Interpreters. LOPSTR (1991)
Philippe Devienne, Patrick Lebègue
Weighted Graphs: A Tool for Logic Programming. CAAP (1986)