2012-01-01
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 | |
|---|---|
| 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 |
| Citation |
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.
|