Sébastien Hoarau

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2000
c6		Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel: cTI: Bottom-Up Termination Inference for Logic Programs. 15. WLP 2000: 123-134
	1998
j1		Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Automatically Proving Program Properties. J. Log. Program. 37(1-3): 77-93 (1998)
c5		Sébastien Hoarau, Frédéric Mesnard: Inférer et compiler la terminaison des programmes logiques avec contraintes. JFPLC 1998: 269-286
c4		Sébastien Hoarau, Frédéric Mesnard: Inferring and Compiling Termination for Constraint Logic Programs. LOPSTR 1998: 240-254
	1996
c3		Frédéric Mesnard, Sébastien Hoarau, Alexandra Maillard: CLP(chi) for Proving Program Properties. FroCoS 1996: 321-338
c2		Sébastien Hoarau, Frédéric Mesnard: PLC(Bool) pour la détection de variables numériques bornées. JFPLC 1996: 169-184
	1995
c1		Frédéric Mesnard, Sébastien Hoarau: Contrôle dynamique de la résolution pour les programmes logiques avec contraintes. JFPLC 1995: 259-273

Coauthor Index

1	Serge Burckel	[c6]
2	Alexandra Maillard	[j1] [c3]
3	Frédéric Mesnard (Fred Mesnard)	[c6] [j1] [c5] [c4] [c3] [c2] [c1]
4	Ulrich Neumerkel	[c6]

Last update Sun May 19 11:18:59 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page