14th ICALP 1987: Karlsruhe, Germany

Refine list

showing all ?? records

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


Invited Lecture

a service of  Schloss Dagstuhl - Leibniz Center for Informatics