Felice, Clelia.

Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings / [electronic resource] : edited by Clelia Felice, Antonio Restivo. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3572 0302-9743 ; .

9783540316824


Computer science
Logic design
Computational complexity
Computer Science
Mathematical Logic and Formal Languages
Computation by Abstract Devices
Logics and Meanings of Programs
Discrete Mathematics in Computer Science

QA267.3 / F45 2005