18. ICALP 1991: Madrid, Spain

Logic Programming

Functional Programming

Specification and Verification

Complexity

Complexity and Concurrency

Formal Languages

Rewriting and Logic

Graph Algorithms

Complexity

Parallel Algorithms

Logic in Computer Science

Concurrency

Algorithms

Formal Languages

Formal Languages and Complexity

Computational Geometry

Complexity and Computational Geometry

Algorithms