Welcome to the Munich branch of the EU funded project
Construction of Computational Logics II
As part of the Esprit programme of the European Union, the working
group Construction of Computational Logics is concerned with
the development of computational logics using constraint techniques
for theorem proving. Our particular share in Munich is the
investigation of specific instances of combination problems for logics
and constraints of particular interest and the design of algorithms for
combining existing constraint systems.
The principal investigator here is Klaus
Schulz.