SIAM Journal on Computing
Collection
Collection
- ISSN: 0097-5397
Published by SIAM
-
Completeness with finite systems of intermediate assertions for recursive program schemes Article
SIAM Journal on Computing, 665-671.January 1980
-
Generating all maximal independent sets; NP-hardness and polynomial-time algorithms Article
SIAM Journal on Computing, 558-565.E.L. Lawler, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan
January 1980
-
An optimal simulation of counter machines Article
SIAM Journal on Computing, 14(1), 1-33.January 1985
-
An optimal simulation of counter machines: the ACM case Article
SIAM Journal on Computing, 14(1), 34-40.January 1985
-
Readies and failures in the algebra of communicating processes Article
SIAM Journal on Computing, 17(6), 1134-1177.J.A. Bergstra (Jan), J.W. Klop (Jan Willem) and E.R. Olderog (Ernst-Rüdiger)
January 1988 -
Semantic correctness for a parallel object-oriented language Article
SIAM Journal on Computing, 19(2), 341-383.January 1990
-
Boolean functions, invariance groups, and parallel complexity Article
SIAM Journal on Computing, 20(3), 553-590.January 1991 -
The power of the queue Article
SIAM Journal on Computing, 21(4), 697-712.January 1992