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
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
- 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.