1
Published 1993
Springer Berlin Heidelberg
Table of Contents: ...A combining mechanism for parallel computers -- A case for the PRAM as a standard programmer...

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...Saturation-based theorem proving (abstract) -- Bandwidth efficient parallel computation -- Variable...