1
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... of deterministic transition graphs from dynamic integrity constraints -- (Time × space)-efficient implementations...

2
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... of mesh sorting algorithms -- Tight bounds on deterministic PRAM emulations with constant redundancy...

3
Published 2000
Springer Berlin Heidelberg
Table of Contents: ...The Equivalence Problem for Deterministic Pushdown Automata is Decidable -- On the Complexity...