DISCO 1993: Gmunden, Austria

Theoretical Aspects

Algorithm Implementation

Programming with Types

Automated Reasoning

Software Systems

System Description