14. ICALP 1987: Karlsruhe, Germany

Inductive Inference, Logic and Functional Programming

Rewrite Systems

Semantics, Concurrency

Formal Languages and Automata

Temporal Logic, Concurrent Systems

Parallel and Distributed Computing

Algorithms and Complexity

Petri Nets, Algebraic Specification

Complexity

Invited Lecture