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
The predecessor project to CCl II.
Related informations about constraints
Ralf Treinen
June 3, 2003.