CCL II
The Esprit Working Group CCL II
Construction of Computational Logics
If you can read this, your browser provides insufficient support for style
sheets. The visual presentation of this document will suffer.
CCL II Home Page
The contents of this document were copied from the
official home page of the esprit working group CCL II, authored
and maintained by Ralf
Treinen.
Funding
Construction of Computational Logics II (CCL) is a working
group in the ESPRIT
Basic Research program of the European Union. It is the successor
project of the working group CCL I.
Project Goals
The aims of CCL are:
- to investigate specific instances of combination problems for
logics and constraints of particular interest
- to investigate new symbolic constraints and to design algorithms
for combining existing constraint systems
- to develop or improve theorem proving techniques for certain
logics of special importance for programming, by taking advance of
constraint systems
Further Information
Miscellaneous
Denys Duchier