Chandra, Ashok K. Generalized program schemas. (English) Zbl 0382.68018 SIAM J. Comput. 5, 402-413 (1976). MSC: 68Q60 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Szymanski, Thomas G.; Williams, John H. Noncanonical extensions of bottom-up parsing techniques. (English) Zbl 0373.68048 SIAM J. Comput. 5, 231-250 (1976). MSC: 68Q45 68N01 × Cite Format Result Cite Review PDF Full Text: DOI Link
Solovay, Robert M. On sets Cook-reducible to sparse sets. (English) Zbl 0367.02018 SIAM J. Comput. 5, 646-652 (1976). MSC: 03D25 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Ashcroft, E. A.; Wadge, W. W. Lucid - a formal system for writing and proving programs. (English) Zbl 0362.68030 SIAM J. Comput. 5, 336-354 (1976). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Peter J.; Sethi, Ravi Correct computation rules for recursive languages. (English) Zbl 0359.68010 SIAM J. Comput. 5, 378-401 (1976). MSC: 68N01 68Q45 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Cheriton, David; Tarjan, Robert Endre Finding minimum spanning trees. (English) Zbl 0358.90069 SIAM J. Comput. 5, 724-742 (1976). MSC: 90C35 05C35 68Q25 65K05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Even, S.; Itai, A.; Shamir, A. On the complexity of timetable and multicommodity flow problems. (English) Zbl 0358.90021 SIAM J. Comput. 5, 691-703 (1976). MSC: 90B10 90B35 90C35 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Manna, Zohar; Shamir, Adi The theoretical aspects of the optimal fixedpoint. (English) Zbl 0358.68017 SIAM J. Comput. 5, 414-426 (1976). MSC: 68N01 03D20 × Cite Format Result Cite Review PDF Full Text: DOI Link
Sudborough, I. H.; Zalcberg, A. On families of languages defined by time-bounded random access machines. (English) Zbl 0356.68058 SIAM J. Comput. 5, 217-230 (1976). MSC: 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Plotkin, G. D. A powerdomain construction. (English) Zbl 0355.68015 SIAM J. Comput. 5, 452-487 (1976). MSC: 68N01 68Q45 68Q25 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Csanky, L. Fast parallel matrix inversion algorithms. (English) Zbl 0353.68063 SIAM J. Comput. 5, 618-623 (1976). MSC: 68Q25 65F05 × Cite Format Result Cite Review PDF Full Text: DOI
Cherniavsky, John C. Simple programs realize exactly Presberger formulas. (English) Zbl 0353.68018 SIAM J. Comput. 5, 666-677 (1976). MSC: 68N01 03F99 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Rose, Donald J.; Tarjan, R. Endre; Lueker, George S. Algorithmic aspects of vertex elimination on graphs. (English) Zbl 0353.65019 SIAM J. Comput. 5, 266-283 (1976). MSC: 65F05 68Q25 94C10 05C99 × Cite Format Result Cite Review PDF Full Text: DOI Link
Ohtsuki, Tatsuo A fast algorithm for finding an optimal ordering for vertex elimination on a graph. (English) Zbl 0353.65018 SIAM J. Comput. 5, 133-145 (1976). MSC: 65F05 68Q25 05C99 × Cite Format Result Cite Review PDF Full Text: DOI
Williamson, S. G. Ranking algorithms for lists of partitions. (English) Zbl 0349.05004 SIAM J. Comput. 5, 602-617 (1976). MSC: 05-04 05A17 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Asano, Takao; Shibui, Michiro; Takanami, Itsuo General results on tour lengths in machines and digraphs. (English) Zbl 0347.68036 SIAM J. Comput. 5, 629-645 (1976). MSC: 68Q45 94C10 05C20 × Cite Format Result Cite Review PDF Full Text: DOI
Chin, Francis Y. A generalized asymptotic upper bound on fast polynomial evaluation and interpolation. (English) Zbl 0347.65025 SIAM J. Comput. 5, 682-690 (1976). MSC: 65H05 68W99 68Q25 65D05 65D15 × Cite Format Result Cite Review PDF Full Text: DOI
Mazlack, Lawrence J. Machine selection of elements in crossword puzzles: An application of computational linguistics. (English) Zbl 0346.68028 SIAM J. Comput. 5, 51-72 (1976). MSC: 68Q45 05B99 68W99 68T10 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Hendrick, W. J. An account of self-organizing systems. (English) Zbl 0346.68026 SIAM J. Comput. 5, 715-723 (1976). MSC: 68Q25 60J20 × Cite Format Result Cite Review PDF Full Text: DOI
Eswaran, Kapali P.; Tarjan, R. Endre Augmentation problems. (English) Zbl 0346.05112 SIAM J. Comput. 5, 653-665 (1976). MSC: 05C99 68Q25 94C10 90C35 × Cite Format Result Cite Review PDF Full Text: DOI
Garey, M. R.; Johnson, D. S.; Tarjan, R. Endre The planar Hamiltonian circuit problem is NP-complete. (English) Zbl 0346.05110 SIAM J. Comput. 5, 704-714 (1976). MSC: 05C35 × Cite Format Result Cite Review PDF Full Text: DOI
Wadsworth, Christopher P. The relation between computational and denotational properties for Scott’s \(D_\infty\)-models of the lambda-calculus. (English) Zbl 0346.02013 SIAM J. Comput. 5, 488-521 (1976). MSC: 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
Smith, Alan Jay Analysis of the optimal, look-ahead demand paging algorithms. (English) Zbl 0345.68020 SIAM J. Comput. 5, 743-757 (1976). MSC: 68N01 68W99 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Brockett, Roger W.; Dobkin, David On the number of multiplications required for matrix multiplication. (English) Zbl 0345.65011 SIAM J. Comput. 5, 624-628 (1976). MSC: 65F05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Kinariwala, Bharat; Bhat, Kabekode V. S. Theory of output set assignments and degree switching operations. (English) Zbl 0344.94022 SIAM J. Comput. 5, 589-601 (1976). MSC: 94C10 05C99 × Cite Format Result Cite Review PDF Full Text: DOI
Barak, Amnon; Shamir, Eliahu On the parallel evaluation of Boolean expressions. (English) Zbl 0343.94024 SIAM J. Comput. 5, 678-681 (1976). MSC: 94C10 68Q25 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Strassen, Volker Computational complexity over finite fields. (English) Zbl 0343.68029 SIAM J. Comput. 5, 324-331 (1976). MSC: 68Q25 68W30 × Cite Format Result Cite Review PDF Full Text: DOI
Muchnick, Steven S. Computational complexity of multiple recursive schemata. (English) Zbl 0342.68026 SIAM J. Comput. 5, 427-451 (1976). MSC: 68Q25 68W99 68N01 03D20 × Cite Format Result Cite Review PDF Full Text: DOI
Bass, L. J. Errata: On optimal processor scheduling for multiprogramming. (English) Zbl 0341.68046 SIAM J. Comput. 5, 758 (1976). MSC: 68Q45 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Gerhardt, Susan L. Proof theory of partial correctness verification systems. (English) Zbl 0341.68017 SIAM J. Comput. 5, 355-377 (1976). MSC: 68N01 03F99 × Cite Format Result Cite Review PDF Full Text: DOI
Borodin, Allan; Cook, Stephen On the number of additions to compute specific polynomials. (English) Zbl 0341.65034 SIAM J. Comput. 5, 146-157 (1976). MSC: 65H05 68Q25 68W99 65G50 × Cite Format Result Cite Review PDF Full Text: DOI
Kennedy, Ken A comparison of two algorithms for global data flow analysis. (English) Zbl 0338.68026 SIAM J. Comput. 5, 158-180 (1976). MSC: 68N01 68W99 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Scott, Dana Data types as lattices. (English) Zbl 0337.02018 SIAM J. Comput. 5, 522-587 (1976). MSC: 03B40 03D60 03D25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Fillmore, Jay P.; Williamson, S. G. Ranking algorithms: The symmetries and colorations of the n-cube. (English) Zbl 0334.05001 SIAM J. Comput. 5, 297-304 (1976). MSC: 05-04 05A15 05C15 × Cite Format Result Cite Review PDF Full Text: DOI
Levy, Leon S. Local adjunct languages and regular sets. (English) Zbl 0333.68055 SIAM J. Comput. 5, 305-308 (1976). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Bernstein, Arthur Synthesizing a response function with a feedback scheduling algorithm. (English) Zbl 0333.68042 SIAM J. Comput. 5, 309-317 (1976). MSC: 68Q45 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Dobkin, David; Lipton, Richard J. Multidimensional searching problems. (English) Zbl 0333.68031 SIAM J. Comput. 5, 181-186 (1976). MSC: 68W99 90B40 68W30 68N01 68T10 × Cite Format Result Cite Review PDF Full Text: DOI
Skyum, Sven Decomposition theorem for various kinds of languages parallel in nature. (English) Zbl 0332.68058 SIAM J. Comput. 5, 284-296 (1976). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Lien, Y. Edmund Termination properties of generalized Petri nets. (English) Zbl 0332.68037 SIAM J. Comput. 5, 251-265 (1976). MSC: 68W99 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Bollman, D. On preserving proximity in extendible arrays. (English) Zbl 0332.68030 SIAM J. Comput. 5, 318-323 (1976). MSC: 68N01 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Rivest, Ronald L. Partial-match retrieval algorithms. (English) Zbl 0331.68064 SIAM J. Comput. 5, 19-50 (1976). MSC: 68P20 68W99 68W30 68N01 × Cite Format Result Cite Review PDF Full Text: DOI Link
Mateti, Prabhaker; Deo, Narsingh On algorithms for enumerating all circuits of a graph. (English) Zbl 0331.05115 SIAM J. Comput. 5, 90-99 (1976). MSC: 05C35 05C20 68W99 05-04 05C99 05C30 × Cite Format Result Cite Review PDF Full Text: DOI
Sethi, Ravi Scheduling graphs on two processors. (English) Zbl 0328.68057 SIAM J. Comput. 5, 71-82 (1976). MSC: 68M20 68W99 68N01 90B35 × Cite Format Result Cite Review PDF Full Text: DOI
Itai, Alon Optimal alphabetic trees. (English) Zbl 0328.68040 SIAM J. Comput. 5, 9-18 (1976). MSC: 68W99 68Q25 94B99 × Cite Format Result Cite Review PDF Full Text: DOI
Probert, Robert L. On the additive complexity of matrix multiplication. (English) Zbl 0328.65029 SIAM J. Comput. 5, 187-203 (1976). MSC: 65F30 68Q25 68W99 × Cite Format Result Cite Review PDF Full Text: DOI
Miller, Webb Graph transformations for roundoff analysis. (English) Zbl 0327.65038 SIAM J. Comput. 5, 204-216 (1976). MSC: 65G50 × Cite Format Result Cite Review PDF Full Text: DOI
Fredman, Michael L. New bounds on the complexity of the shortest path problem. (English) Zbl 0326.68027 SIAM J. Comput. 5, 83-89 (1976). MSC: 68Q25 05C35 05C85 × Cite Format Result Cite Review PDF Full Text: DOI
Yao, Andrew Chi-Chih On the evaluation of powers. (English) Zbl 0326.68025 SIAM J. Comput. 5, 100-103 (1976). MSC: 68W99 68Q25 65G50 × Cite Format Result Cite Review PDF Full Text: DOI
Aho, A. V.; Hopcroft, J. E.; Ullman, J. D. On finding lowest common ancestors in trees. (English) Zbl 0325.68018 SIAM J. Comput. 5, 115-132 (1976). MSC: 68W99 68N01 68Q25 05C20 × Cite Format Result Cite Review PDF Full Text: DOI
Hyafil, Laurent Bounds for selection. (English) Zbl 0324.68028 SIAM J. Comput. 5, 109-114 (1976). MSC: 68Q25 68W99 68W30 05A05 × Cite Format Result Cite Review PDF Full Text: DOI
Munro, Ian; Spira, Philip M. Sorting and searching in multisets. (English) Zbl 0324.68018 SIAM J. Comput. 5, 1-8 (1976). MSC: 68W99 68N01 68W30 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Goodman, S.; Hedetniemi, S.; Tarjan, R. E. b-matchings in trees. (English) Zbl 0324.05002 SIAM J. Comput. 5, 104-108 (1976). MSC: 05-04 05C05 05C35 05C99 05A99 × Cite Format Result Cite Review PDF Full Text: DOI