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