Volume 31, 2000 CATS 2000 Computing:
the Australasian Theory Symposium
Canberra, Australia, February 1-2, 2000
David A. Wolfram
: One complexity theorist's view of quantum computing.
: Multiple-conclusion system as communication calculus.
: Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables.
: Pruning Terms for Principal Type Assignment.