Harju, Tero.

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

QA267.3 / H37 2007