21st ICALP 1994: Jerusalem, Israel

Theory of Computation

Automata, Computation Models

Expressive Power

Automata, Concurrency

Pattern Matching

Data Structures

Computation Complexity

Semantics, Logic and Verification I

Semantics, Logic and Verification II

Formal Languages

Term Rewriting Systems

Algorithms and Communications

Graph Algorithms

Randomized Complexity

Various Algorithms

a service of Schloss Dagstuhl - Leibniz Center for Informatics