Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings / [electronic resource] :
edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4588 0302-9743 ; .
9783540732082
Computer science Logic design Computational complexity Algebra--Data processing Computer Science Mathematical Logic and Formal Languages Computation by Abstract Devices Logics and Meanings of Programs Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation