Thierry Le Provost (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Mark Wallace, Stéphane Bressan, Thierry Le Provost: Magic Checking: Constraint Checking for Database Query Optimization. CDB 1995: 148-166

5 Thierry Le Provost, Mark Wallace: Generalized Constraint Propagation over the CLP Scheme. J. Log. Program. 16(3): 319-359 (1993)

4 Thierry Le Provost, Mark Wallace: Domain Independent Propagation. FGCS 1992: 1004-1011

3 Mark Wallace, Thierry Le Provost: CHIP and Propia. LPAR 1992: 507-509

2 Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace: Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School 1992: 3-35

Selection of 5 from 6 records - Thierry Le Provost has 8 coauthors

6		Mark Wallace, Stéphane Bressan, Thierry Le Provost: Magic Checking: Constraint Checking for Database Query Optimization. CDB 1995: 148-166
5		Thierry Le Provost, Mark Wallace: Generalized Constraint Propagation over the CLP Scheme. J. Log. Program. 16(3): 319-359 (1993)
4		Thierry Le Provost, Mark Wallace: Domain Independent Propagation. FGCS 1992: 1004-1011
3		Mark Wallace, Thierry Le Provost: CHIP and Propia. LPAR 1992: 507-509
2		Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, Mark Wallace: Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School 1992: 3-35