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