Additional Metadata
ACM 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)
THEME Software (theme 1)
Publisher Springer
Editor J.C.M. Baeten (Jos) , T. Ball , F.S. de Boer (Frank)
ISBN 978-3-642-33474-0
Series Lecture Notes in Computer Science
Conference 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.