Volume 7,
Number 1,
February 1978
- Edward G. Coffman Jr., M. R. Garey, David S. Johnson:
An Application of Bin-Packing to Multiprocessor Scheduling.
1-17 BibTeX
- Robert Michael Tanner:
Minimean Merging and Sorting: An Algorithm.
18-38 BibTeX
- Michael Machtey, Karl Winklmann, Paul Young:
Simple Gödel Numberings, Isomorphisms, and Programming Properties.
39-60 BibTeX
- Richard J. Lipton:
Polynomials with 0-1 Coefficients that Are Hard to Evaluate.
61-69 BibTeX
- Stephen A. Cook:
Soundness and Completeness of an Axiom System for Program Verification.
70-90 BibTeX
,
Corrigendum:
SIAM J. Comput. 10(3):
612 (1981)
- Robert L. Probert:
An Extension of Computational Duality to Sequences of Bilinear Computations.
91-98 BibTeX
- Harry B. Hunt III, Daniel J. Rosenkrantz:
Computational Parallels Between the Regular and Context-Free Languages.
99-114 BibTeX
- Joachim Biskup:
The Time Measure of One-Tape Turing Machines Does Not Have the Parallel Computation Property.
115-117 BibTeX
- Robert Solovay, Volker Strassen:
Erratum: A Fast Monte-Carlo Test for Primality.
118 BibTeX
,
->SIAM J. Comput. 6(1):
84-85
Volume 7,
Number 2,
May 1978
- Nancy A. Lynch, Richard J. Lipton:
On Structure Preserving Reductions.
119-126 BibTeX
- Claus-Peter Schnorr:
An Algorithm for Transitive Closure with Linear Expected Time.
127-133 BibTeX
- Michael L. Fredman:
Observations on the Complexity of Generating Quasi-Gray Codes.
134-146 BibTeX
- Donald B. Johnson, Tetsuo Mizoguchi:
Selecting the Kth element in X + Y and X_1 + X_2 + ... + X_m.
147-153 BibTeX
- Nimrod Megiddo, Arie Tamir:
An O(N log N) Algorithm for a Class of Matching Problems.
154-157 BibTeX
- Hermann A. Maurer, Arto Salomaa, Derick Wood:
On Good E0L Forms.
158-166 BibTeX
- Ronald V. Book, Maurice Nivat:
Linear Languages and the Intersection Closures of Classes of Languages.
167-177 BibTeX
- Greg N. Frederickson, Matthew S. Hecht, Chul E. Kim:
Approximation Algorithms for Some Routing Problems.
178-193 BibTeX
- Celia Wrathall:
Rudimentary Predicates and Relative Computation.
194-209 BibTeX
- Alan G. Konheim, Martin Reiser:
Finite Capacity Queuing Systems with Applications in Computer Modeling.
210-229 BibTeX
- Eshrat Reghbati, Derek G. Corneil:
Parallel Computations in Graph Theory.
230-237 BibTeX
- Roger W. Brockett, David P. Dobkin:
Errata: On the Number of Multiplications Required for Matrix Multiplication.
238 BibTeX
,
->SIAM J. Comput. 5(4):
624-628 (1976)
Volume 7,
Number 3,
August 1978
Volume 7,
Number 4,
November 1978
Copyright © Sun May 17 00:18:50 2009
by Michael Ley (ley@uni-trier.de)
