Models of Computation (acm F.1.1), Modes of Computation (acm F.1.2), Formal Languages (acm F.4.3), Nonnumerical Algorithms and Problems (acm F.2.2), Mathematical Logic (acm F.4.1)
Software (theme 1)
J.C.M. Baeten (Jos) , T. Ball , F.S. de Boer (Frank)
Lecture Notes in Computer Science
IFIP International Conference on Theoretical Computer Science

Baeten, J.C.M, Ball, T, & de Boer, F.S (Eds.). (2012). Theoretical computer science : 7th IFIP TC1/WG2.2 international conference, TCS 2012 : Amsterdam, The Netherlands, September 2012 : proceedings. In J.C.M Baeten, T Ball, & F.S de Boer (Eds.), Lecture Notes in Computer Science. Springer.