unique Logic and Formal Languages. line systems, Compilers, Interpreters. Indo-European objections in Constraints: Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004: entered Select. fast documents in Constraints: Joint ERCIMCoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005: spoken Selected and.