Machtey, Michael; Winklmann, Karl; Young, Paul Simple Gödel numberings, isomorphisms, and programming properties. (English) Zbl 0412.03020 SIAM J. Comput. 7, 39-60 (1978). MSC: 03D15 68Q25 68Q05 03D05 03D10 03D45 68Q45 68N01 PDF BibTeX XML Cite \textit{M. Machtey} et al., SIAM J. Comput. 7, 39--60 (1978; Zbl 0412.03020) Full Text: DOI
Wadsworth, Christopher P. Approximate reduction and lambda calculus models. (English) Zbl 0407.03021 SIAM J. Comput. 7, 337-356 (1978). MSC: 03B40 68N01 PDF BibTeX XML Cite \textit{C. P. Wadsworth}, SIAM J. Comput. 7, 337--356 (1978; Zbl 0407.03021) Full Text: DOI
Baker, Theodore P. A technique for extending rapid exact-match string matching to arrays of more than one dimension. (English) Zbl 0387.68031 SIAM J. Comput. 7, 533-541 (1978). MSC: 68W99 68P05 68T10 PDF BibTeX XML Cite \textit{T. P. Baker}, SIAM J. Comput. 7, 533--541 (1978; Zbl 0387.68031) Full Text: DOI
Rosenkrantz, Daniel J.; Hunt, Harry B. III Polynomial algorithms for deterministic pushdown automata. (English) Zbl 0386.68072 SIAM J. Comput. 7, 405-412 (1978). MSC: 68Q45 68Q25 68W99 PDF BibTeX XML Cite \textit{D. J. Rosenkrantz} and \textit{H. B. Hunt III}, SIAM J. Comput. 7, 405--412 (1978; Zbl 0386.68072) Full Text: DOI
Itai, Alon; Rodeh, Michael Finding a minimum circuit in a graph. (English) Zbl 0386.68064 SIAM J. Comput. 7, 413-423 (1978). MSC: 68R10 05C35 05C38 68W99 68Q25 PDF BibTeX XML Cite \textit{A. Itai} and \textit{M. Rodeh}, SIAM J. Comput. 7, 413--423 (1978; Zbl 0386.68064) Full Text: DOI
Yao, Andrew Chi-Chih On the loop switching addressing problem. (English) Zbl 0386.68063 SIAM J. Comput. 7, 515-523 (1978). MSC: 68R10 94B99 05C05 PDF BibTeX XML Cite \textit{A. C. C. Yao}, SIAM J. Comput. 7, 515--523 (1978; Zbl 0386.68063) Full Text: DOI
Ruskey, Frank Generating t-ary trees lexicographically. (English) Zbl 0386.68062 SIAM J. Comput. 7, 424-439 (1978). MSC: 68R10 68W99 05C05 PDF BibTeX XML Cite \textit{F. Ruskey}, SIAM J. Comput. 7, 424--439 (1978; Zbl 0386.68062) Full Text: DOI
Rosenberg, Arnold L.; Snyder, Lawrence Minimal-comparison 2,3-trees. (English) Zbl 0386.68061 SIAM J. Comput. 7, 465-480 (1978). MSC: 68R10 05C05 PDF BibTeX XML Cite \textit{A. L. Rosenberg} and \textit{L. Snyder}, SIAM J. Comput. 7, 465--480 (1978; Zbl 0386.68061) Full Text: DOI
Selman, Alan L. Polynomial time enumeration reducibility. (English) Zbl 0386.68055 SIAM J. Comput. 7, 440-457 (1978). MSC: 03D60 68Q25 68Q05 PDF BibTeX XML Cite \textit{A. L. Selman}, SIAM J. Comput. 7, 440--457 (1978; Zbl 0386.68055) Full Text: DOI
Ibarra, Oscar H. The unsolvability of the equivalence problem for \(\varepsilon\)-free NGSM’s with unary input (output) alphabet and applications. (English) Zbl 0386.68054 SIAM J. Comput. 7, 524-532 (1978). MSC: 03D60 68Q45 05C20 PDF BibTeX XML Cite \textit{O. H. Ibarra}, SIAM J. Comput. 7, 524--532 (1978; Zbl 0386.68054) Full Text: DOI
Bruno, John; Downey, Peter Complexity of task sequencing with deadlines, set-up times and changeover costs. (English) Zbl 0386.68050 SIAM J. Comput. 7, 393-403 (1978). MSC: 68Q25 68M20 68W99 PDF BibTeX XML Cite \textit{J. Bruno} and \textit{P. Downey}, SIAM J. Comput. 7, 393--403 (1978; Zbl 0386.68050) Full Text: DOI
Plaisted, David Some polynomial and integer divisibility problems are NP-hard. (English) Zbl 0386.68049 SIAM J. Comput. 7, 458-464 (1978). MSC: 68Q25 68W99 PDF BibTeX XML Cite \textit{D. Plaisted}, SIAM J. Comput. 7, 458--464 (1978; Zbl 0386.68049) Full Text: DOI
Trojanowski, Anthony E. Ranking and listing algorithms for k-ary trees. (English) Zbl 0386.68045 SIAM J. Comput. 7, 492-509 (1978). MSC: 68W99 68R99 05C05 PDF BibTeX XML Cite \textit{A. E. Trojanowski}, SIAM J. Comput. 7, 492--509 (1978; Zbl 0386.68045) Full Text: DOI
Purdom, Paul W. Tree size by partial backtracking. (English) Zbl 0386.68044 SIAM J. Comput. 7, 481-491 (1978). MSC: 68W99 68Q25 68R10 05C05 PDF BibTeX XML Cite \textit{P. W. Purdom}, SIAM J. Comput. 7, 481--491 (1978; Zbl 0386.68044) Full Text: DOI
Pippenger, Nicholas Generalized connectors. (English) Zbl 0385.05036 SIAM J. Comput. 7, 510-514 (1978). MSC: 05C20 05C38 PDF BibTeX XML Cite \textit{N. Pippenger}, SIAM J. Comput. 7, 510--514 (1978; Zbl 0385.05036) Full Text: DOI
Booth, Kellogg S. Isomorphism testing for graphs, semigroups, and finite automata are polynomially equivalent problems. (English) Zbl 0381.68042 SIAM J. Comput. 7, 273-279 (1978). MSC: 68Q25 05C35 20M35 68Q45 68Q70 PDF BibTeX XML Cite \textit{K. S. Booth}, SIAM J. Comput. 7, 273--279 (1978; Zbl 0381.68042) Full Text: DOI
Baker, Brenda S. Generalized syntax directed translation tree transducers, and linear space. (English) Zbl 0379.68052 SIAM J. Comput. 7, 376-391 (1978). MSC: 68Q45 05C05 03D10 PDF BibTeX XML Cite \textit{B. S. Baker}, SIAM J. Comput. 7, 376--391 (1978; Zbl 0379.68052) Full Text: DOI
Wagner, Robert A.; Seiferas, Joel I. Correcting counter-automaton-recongnizable languages. (English) Zbl 0379.68051 SIAM J. Comput. 7, 357-375 (1978). MSC: 68Q45 68W99 PDF BibTeX XML Cite \textit{R. A. Wagner} and \textit{J. I. Seiferas}, SIAM J. Comput. 7, 357--375 (1978; Zbl 0379.68051) Full Text: DOI
Gold, E. Mark Deadlock prediction: Easy and difficult cases. (English) Zbl 0379.68034 SIAM J. Comput. 7, 320-336 (1978). MSC: 68Q25 68W99 68N01 PDF BibTeX XML Cite \textit{E. M. Gold}, SIAM J. Comput. 7, 320--336 (1978; Zbl 0379.68034) Full Text: DOI
Gabow, Harold N.; Myers, Eugene W. Finding all spanning trees of directed and undirected graphs. (English) Zbl 0379.68031 SIAM J. Comput. 7, 280-287 (1978). MSC: 68W99 05C05 05C20 PDF BibTeX XML Cite \textit{H. N. Gabow} and \textit{E. W. Myers}, SIAM J. Comput. 7, 280--287 (1978; Zbl 0379.68031) Full Text: DOI
Sedgewick, Robert Data movement in odd-even merging. (English) Zbl 0379.68024 SIAM J. Comput. 7, 239-272 (1978). MSC: 68W99 33B15 11M06 PDF BibTeX XML Cite \textit{R. Sedgewick}, SIAM J. Comput. 7, 239--272 (1978; Zbl 0379.68024) Full Text: DOI
Brown, Mark R. Implementation and analysis of binomial queue algorithms. (English) Zbl 0379.68023 SIAM J. Comput. 7, 298-319 (1978). MSC: 68W99 68N01 PDF BibTeX XML Cite \textit{M. R. Brown}, SIAM J. Comput. 7, 298--319 (1978; Zbl 0379.68023) Full Text: DOI
Fagin, Ronald; Price, Thomas G. Efficient calculation of expected miss ratios in the independent reference model. (English) Zbl 0379.68012 SIAM J. Comput. 7, 288-297 (1978). MSC: 68N01 68W99 PDF BibTeX XML Cite \textit{R. Fagin} and \textit{T. G. Price}, SIAM J. Comput. 7, 288--297 (1978; Zbl 0379.68012) Full Text: DOI
Book, Ronald V.; Nivat, Maurice Linear languages and the intersection closures of classes of languages. (English) Zbl 0376.68049 SIAM J. Comput. 7, 167-177 (1978). MSC: 68Q45 PDF BibTeX XML Cite \textit{R. V. Book} and \textit{M. Nivat}, SIAM J. Comput. 7, 167--177 (1978; Zbl 0376.68049) Full Text: DOI
Maurer, H. A.; Salomaa, A.; Wood, D. On good EOL forms. (English) Zbl 0375.68034 SIAM J. Comput. 7, 158-166 (1978). MSC: 68Q45 PDF BibTeX XML Cite \textit{H. A. Maurer} et al., SIAM J. Comput. 7, 158--166 (1978; Zbl 0375.68034) Full Text: DOI
Wrathall, Celia Rudimentary predicates and relative computation. (English) Zbl 0375.68030 SIAM J. Comput. 7, 194-209 (1978). MSC: 68Q45 03D10 68Q25 PDF BibTeX XML Cite \textit{C. Wrathall}, SIAM J. Comput. 7, 194--209 (1978; Zbl 0375.68030) Full Text: DOI
Konheim, Allan G.; Reiser, M. Finite capacity queuing systems with applications in computer modeling. (English) Zbl 0375.68027 SIAM J. Comput. 7, 210-229 (1978). MSC: 68Q45 60K25 PDF BibTeX XML Cite \textit{A. G. Konheim} and \textit{M. Reiser}, SIAM J. Comput. 7, 210--229 (1978; Zbl 0375.68027) Full Text: DOI
Reghbati, Eshrat; Corneil, D. G. Parallel computations in graph theory. (English) Zbl 0375.68026 SIAM J. Comput. 7, 230-237 (1978). MSC: 68Q45 68W99 05C35 PDF BibTeX XML Cite \textit{E. Reghbati} and \textit{D. G. Corneil}, SIAM J. Comput. 7, 230--237 (1978; Zbl 0375.68026) Full Text: DOI
Johnson, Donald B.; Mizoguchi, Tetsuo Selecting the \(k\)th element in \(X+Y\) and \(X_1+X_2+\dots +X_m\). (English) Zbl 0375.68022 SIAM J. Comput. 7, 147-153 (1978). MSC: 68W99 68Q25 PDF BibTeX XML Cite \textit{D. B. Johnson} and \textit{T. Mizoguchi}, SIAM J. Comput. 7, 147--153 (1978; Zbl 0375.68022) Full Text: DOI
Megiddo, Nimrod; Tamir, Arie An \(O(N\cdot \log N)\) algorithm for a class of matching problems. (English) Zbl 0375.68021 SIAM J. Comput. 7, 154-157 (1978). MSC: 68W99 68Q25 05C05 PDF BibTeX XML Cite \textit{N. Megiddo} and \textit{A. Tamir}, SIAM J. Comput. 7, 154--157 (1978; Zbl 0375.68021) Full Text: DOI
Hunt, H. B. III; Rosenkrantz, D. J. Computational parallels between the regular and context-free languages. (English) Zbl 0374.68046 SIAM J. Comput. 7, 99-114 (1978). MSC: 68Q45 68Q25 PDF BibTeX XML Cite \textit{H. B. Hunt III} and \textit{D. J. Rosenkrantz}, SIAM J. Comput. 7, 99--114 (1978; Zbl 0374.68046) Full Text: DOI
Biskup, Joachim The time measure of one-tape Turing machines does not have the parallel computation property. (English) Zbl 0374.68041 SIAM J. Comput. 7, 115-117 (1978). MSC: 68Q25 68Q45 03D10 PDF BibTeX XML Cite \textit{J. Biskup}, SIAM J. Comput. 7, 115--117 (1978; Zbl 0374.68041) Full Text: DOI
Probert, Robert L. An extension of computational duality to sequences of bilinear computations. (English) Zbl 0374.68040 SIAM J. Comput. 7, 91-98 (1978). MSC: 68Q25 68W99 49L99 PDF BibTeX XML Cite \textit{R. L. Probert}, SIAM J. Comput. 7, 91--98 (1978; Zbl 0374.68040) Full Text: DOI
Lipton, Richard J. Polynomials with 0-1 coefficients that are hard to evaluate. (English) Zbl 0374.68039 SIAM J. Comput. 7, 61-69 (1978). MSC: 68Q25 PDF BibTeX XML Cite \textit{R. J. Lipton}, SIAM J. Comput. 7, 61--69 (1978; Zbl 0374.68039) Full Text: DOI
Coffman, E. G. jun.; Garey, M. R.; Johnson, D. S. An application of bin-packing to multiprocessor scheduling. (English) Zbl 0374.68032 SIAM J. Comput. 7, 1-17 (1978). MSC: 68W99 68Q25 68Q45 90B35 PDF BibTeX XML Cite \textit{E. G. Coffman jun.} et al., SIAM J. Comput. 7, 1--17 (1978; Zbl 0374.68032) Full Text: DOI
Tanner, R. Michael Minimean merging and sorting: An algorithm. (English) Zbl 0374.68029 SIAM J. Comput. 7, 18-38 (1978). MSC: 68W99 PDF BibTeX XML Cite \textit{R. M. Tanner}, SIAM J. Comput. 7, 18--38 (1978; Zbl 0374.68029) Full Text: DOI
Cook, Stephen A. Soundness and completeness of an axiom system for program verification. (English) Zbl 0374.68009 SIAM J. Comput. 7, 70-90 (1978). MSC: 68N01 PDF BibTeX XML Cite \textit{S. A. Cook}, SIAM J. Comput. 7, 70--90 (1978; Zbl 0374.68009) Full Text: DOI
Solovay, R.; Strassen, V. Erratum: A fast Monte-Carlo test for primality. (English) Zbl 0373.10002 SIAM J. Comput. 7, 118 (1978). MSC: 11-04 11A41 PDF BibTeX XML Cite \textit{R. Solovay} and \textit{V. Strassen}, SIAM J. Comput. 7, 118 (1978; Zbl 0373.10002) Full Text: DOI