DISCO 1993: Gmunden, Austria

Refine list

showing all ?? records

Theoretical Aspects

Algorithm Implementation

Programming with Types

Automated Reasoning

Software Systems

System Description

a service of  Schloss Dagstuhl - Leibniz Center for Informatics