Title: Programs, proofs, processes
Subjects: Computational complexity, Berechenbarkeit, Computer science, Mathematische Logik, Congresses, Computable functions, Beweistheorie, Mathematics, Theoretische Informatik, Prozessalgebra, Berechnungskomplexität