TY - DATA AU - Harju,Tero AU - Karhumäki,Juhani AU - Lepistö,Arto ED - SpringerLink (Online service) TI - Developments in Language Theory: 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings SN - 9783540732082 AV - QA267.3 H37 2007 PY - 2007/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Logic design KW - Computational complexity KW - Algebra KW - Data processing KW - Computer Science KW - Mathematical Logic and Formal Languages KW - Computation by Abstract Devices KW - Logics and Meanings of Programs KW - Discrete Mathematics in Computer Science KW - Symbolic and Algebraic Manipulation UR - http://dx.doi.org/10.1007/978-3-540-73208-2 ER -