CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1--2, 2000 (Q1574969)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Gärtner, Bernd; Welzl, Emo}, On a simple sampling lemma, 10 p., electronic only [Zbl 0966.68204] \textit{Nedjah, Nadia; de Macedo Mourelle, Luiza}, Dynamic deterministic pattern-matching, 12 p., electronic only [Zbl 0966.68087] \textit{Krishnan, Padmanabhan}, Automatic synthesis of schedulers in timed systems, 14 p., electronic only [Zbl 0966.68020] \textit{Khoussainov, Bakhadyr}, Algebraic constraints, automata, and regular languages, 14 p., electronic only [Zbl 0966.68093] \textit{Arslanov, Asat}, On the phenomenon of autocomputability, 14 p., electronic only [Zbl 0966.68072] \textit{Lin, Yih-Kai; Yen, Hsu-Chun}, An \(\omega\)-automata approach to the compression of bi-level images, 15 p., electronic only [Zbl 0966.68094] \textit{Hamada, Mohamed}, Strong completeness of a narrowing calculus for conditional rewrite systems with extra variables, 15 p., electronic only [Zbl 0967.68090] \textit{Fortnow, Lance}, One complexity theorist's view of quantum computing, 15 p., electronic only [Zbl 0967.68078] \textit{Davies, Bruce J.; Wrightson, Graham}, An approach to strategies in concurrent systems, 15 p., electronic only [Zbl 0967.68077] \textit{Izumi, Takeuti}, Pruning terms for principal type assignment, 16 p., electronic only [Zbl 0966.68045] \textit{Fujita, Ken-etsu}, Multiple-conclusion system as communication calculus, 16 p., electronic only [Zbl 0967.68032] \textit{Burstall, Rod}, ProveEasy: Helping people learn to do proofs, 17 p., electronic only [Zbl 0966.68190] \textit{Dezani-Ciancaglini, Mariangiola; Severi, Paula; de Vries, Fer-Jan}, Böhm's theorem for Berarducci trees, 24 p., electronic only [Zbl 0967.68031]