The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer languages, the theory of programming, lambda calculus and type theory, semantics, concurrent systems and the logic of programs.
The proceedings of a conference on theoretical computer science, which includes discussion of algorithms, automata theory and the theory of computer l...
