Patrick Lebègue

According to our database, Patrick Lebègue authored at least 14 papers between 1986 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1996

Smallest Horn Clause Programs.

Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz

J. Log. Program., 1996

1994

One Binary Horn Clause is Enough.

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz

Proceedings of the STACS 94, 1994

1993

Weighted Systems of Equations.

Philippe Devienne, Patrick Lebègue, Max Dauchet

Theor. Comput. Sci., 1993

Halting Problem of One Binary Horn Clause is Undecidable.

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier

Proceedings of the STACS 93, 1993

The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier

Proceedings of the Logic Programming, 1993

1992

Weighted Systems Revisited.

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.

Anne Parrain, Philippe Devienne, Patrick Lebègue

Proceedings of the Logic Program Synthesis and Transformation, 1992

Termination induction by means of an abstract OLDT resolution.

Christophe Lecoutre, Philippe Devienne, Patrick Lebègue

Proceedings of the JFPL'92, 1992

Halting Problem of One Binary Horn Clause id Undecidable.

Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier

Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992

1991

Techniques de transformations de programmes Prolog généraux et validation de méta-interpréteurs.

Anne Parrain, Philippe Devienne, Patrick Lebègue

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Une analyse du comportement récursif de programmes Prolog par une interprétation abstraite.

Christophe Lecoutre, Philippe Devienne, Patrick Lebègue

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Prolog Program Transformations and Meta-Interpreters.

Anne Parrain, Philippe Devienne, Patrick Lebègue

Proceedings of the Logic Program Synthesis and Transformation, 1991

Abstract Interpretation and Recursive Behaviour of Logic Programs.

Christophe Lecoutre, Philippe Devienne, Patrick Lebègue

Proceedings of the Logic Program Synthesis and Transformation, 1991

1986

Weighted Graphs: A Tool for Logic Programming.

Philippe Devienne, Patrick Lebègue

Proceedings of the CAAP '86, 1986