The Esprit working group 22457 - CCL II

Construction of Computational Logics II



Construction of Computational Logics II (CCL) was a working group in the ESPRIT Basic Research program of the European Union. It was the successor project of the working group CCL I.

More on CCL II

About CCL I

The predecessor project to CCl II.

Related informations about constraints


Ralf Treinen
June 3, 2003.