Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings - Calude, Cristian S.; Calude, Elena; Dinneen, Michael J.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: 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