JFPLC 2001: Paris, France

CSP

Programmation par contraintes I

Logique

Distribution et concurrence

Programmation par contraintes II

Environnements et validation