dblp.uni-trier.dewww.uni-trier.de

Patrick Lebègue Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
14EEPhilippe 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
12EEPhilippe 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
1EEPhilippe Devienne, Patrick Lebègue: Weighted Graphs: A Tool for Logic Programming. CAAP 1986: 100-111

Coauthor Index

1Max Dauchet [11]
2Philippe Devienne [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
3Christophe Lecoutre [3] [4] [10]
4Anne Parrain [2] [5] [6] [9] [15]
5Jean-Christophe Routier [7] [8] [12] [13] [14] [15]
6Jörg Würtz [14] [15]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)