EUROCAM 1982, Marseille, France

Algorithms I

Algebraic Structures

Abstract Data Types and Rewrite Rules

Algorithms II

Applications I

Algorithms III

Systems

Applications II

a service of Schloss Dagstuhl - Leibniz Center for Informatics