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)
Springer
J.C.M. Baeten (Jos) , T. Ball , F.S. de Boer (Frank)
978-3-642-33474-0
Lecture Notes in Computer Science
IFIP International Conference on Theoretical Computer Science
Directie

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.