Volume 169, Number 1, 30 November 1996
Theoretical Computer Science in Australia and New Zealand
Volume 169, Number 2, 5 December 1996
Selected Papers of ICALP 1994
- Anca Muscholl:
On the Complementation of Asynchronous Cellular Büchi Automata.
123-145

- Uriel Feige:
A Fast Randomized LOGSPACE Algorithm for Graph Connectivity.
147-160

- Noa Globerman, David Harel:
Complexity Results for Two-Way and Multi-Pebble Automata and their Logics.
161-184

- Jean-Eric Pin:
Polynomial Closure of Group Languages and Open Sets of the Hall Topology.
185-200

- Roberto Di Cosmo, Delia Kesner:
Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints.
201-220

Last update Sat May 18 20:56:57 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page