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ö. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4588 0302-9743 ; . - Lecture Notes in Computer Science, 4588 .

9783540732082

10.1007/978-3-540-73208-2 doi


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.

QA8.9-QA10.3

005.131

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue