Rémy Haemmerlé

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

4 Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556

3 Rémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228

2006

2 Rémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55

2005

1 Rémy Haemmerlé: ICLP 2005 Doctoral Consortium. ICLP 2005: 448-449

	2007
4		Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
3		Rémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228
	2006
2		Rémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55
	2005
1		Rémy Haemmerlé: ICLP 2005 Doctoral Consortium. ICLP 2005: 448-449

Coauthor Index

1 François Fages [2] [3] [4]

2 Sylvain Soliman [4]