C o m p u t a t i o n a l    L o g i c

Concurrent & Constraint Logic Programming

Contents

ERCIM Working Group on Constraints
The LLC group at ENS Paris
Interval Constraint Solver For Microsoft Excel
Scheduling Sport Tournaments using Constraint Logic Programming

[ Automated Deduction Systems ] [ Computational Logic & Machine Learning ] [ Concurrent & Constraint Logic Programming ] [ Language Design, Semantics & Verification Methods ] [ Logic Based Databases ] [ Program Development ] [ Knowledge Representation & Reasoning ]

[ Home ] [ Editorial ] [ Network Activities ] [ Industrial News ] [ International Relations ] [ Area News ] [ Education ]