2012
Theoretical computer science : 7th IFIP TC1/WG2.2 international conference, TCS 2012 : Amsterdam, The Netherlands, September 2012 : proceedings
Publication
Publication
Presented at the
IFIP International Conference on Theoretical Computer Science, Amsterdam, The Netherlands
Additional Metadata | |
---|---|
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 | |
Organisation | 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.
|