19. ICALP 1992: Vienna, Austria

Complexity

Formal Languages

Finite Automata

Graph Grammars and Complexity

Algorithm Analysis

Algorithms

Parallel Computation

Graph Algorithms

Symbolic Computation

Geometric Algorithms

Logic and Models I

Logic and Models II

Time Specification

Concurrency Semantics

Program Development

Program Equivalences