8. STACS 1991: Hamburg, Germany

Invited Lectures

Automata and Formal Languages

Trace Theory

Algorithms I

Rewriting

Parallel Models

Logic Programming

Circuits

Interactive Proff Systems

Distributed Computing

Concurrency I

Complexity I

Concurrency II

Complexity II

Parallel Algorithms

Complexity III

Algorithms II

Semantics

Systems

maintained by Schloss Dagstuhl LZI at University of Trier