Proceedings

• Mike D. Atkinson, editor, Proceedings of Computing: The Australasian Theory Symposium, CATS 2004, Dunedin, New Zealand, January 19-20, 2004. Volume 91 of Electronic Notes in Theoretical Computer Science, Elsevier, 2004.