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
maintained by Schloss Dagstuhl LZI at University of Trier