Title: Theoretical computer science
Subjects: Congresses, Computer science, Machine theory, Formal languages