3. WSA 1993: Padova, Italy

Invited Talk

Fixpoint Computation

Concurrency

Parallelism

Invited Talk

Transformation

Logic Programs

Term Rewriting Systems

Invited Talk

Strictness

Reasoning About Programs

Types

Poster Session

maintained by Schloss Dagstuhl LZI at University of Trier