30 November 1996 Theoretical Computer Science in Australia and New Zealand
5 December 1996 Selected Papers of ICALP 1994
Copyright © Fri Mar 12 17:33:08 2010
by Michael Ley (email@example.com)
- Anca Muscholl:
On the Complementation of Asynchronous Cellular Büchi Automata.
- Uriel Feige:
A Fast Randomized LOGSPACE Algorithm for Graph Connectivity.
- Noa Globerman, David Harel:
Complexity Results for Two-Way and Multi-Pebble Automata and their Logics.
- Jean-Eric Pin:
Polynomial Closure of Group Languages and Open Sets of the Hall Topology.
- Roberto Di Cosmo, Delia Kesner:
Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints.