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