1. FCT 1977: Poznan-Kórnik, Poland

Algebraic & Constructive Theory of Machines, Computations and Languages

Computation Theory in Category

Computability, Decidability & Arithmetic Complexity

a service of Schloss Dagstuhl - Leibniz Center for Informatics