EUROCAM 1982, Marseille, France

Algorithms I

Algebraic Structures

Abstract Data Types and Rewrite Rules

Algorithms II

Applications I

Algorithms III

Systems

Applications II

maintained by Schloss Dagstuhl LZI, founded at University of Trier