Calude, Cristian S.

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings / [electronic resource] : edited by Cristian S. Calude, Elena Calude, Michael J. Dinneen. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3340 0302-9743 ; .

9783540305507


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

QA267.3 / C35 2005