20. MFCS 1995: Prague, Czech Republic

Invited Papers

Structural Complexity Theory

Algorithms

Complexity Theory

Graph Models of Computations

Lower Bounds

Formal Languages

Unification, Rewriting, Type Theory

Distributed Computation

Concurrency

Semantics

Model Checking

Formal Calculi

maintained by Schloss Dagstuhl LZI at University of Trier