1. FroCoS 1996: Munich, Germany

Invited Talk

Combination of Logics

Automated Deduction

Invited Talk

Coordination Models

CLP

Acknowledgement: the information on this page was provided by Uwe Waldmann
a service of Schloss Dagstuhl - Leibniz Center for Informatics