Title: Computation theory
Subjects: Machine theory, Computational complexity, Congresses