Book, Ronald V.; Long, Timothy J.; Selman, Alan L. Quantitative relativizations of complexity classes. (English) Zbl 0599.03041 SIAM J. Comput. 13, 461-487 (1984). MSC: 03D15 03D10 68Q25 68Q05 PDF BibTeX XML Cite \textit{R. V. Book} et al., SIAM J. Comput. 13, 461--487 (1984; Zbl 0599.03041) Full Text: DOI OpenURL
Hopcroft, John; Joseph, Deborah; Whitesides, Sue Movement problems for 2-dimensional linkages. (English) Zbl 0588.68054 SIAM J. Comput. 13, 610-629 (1984). MSC: 68U99 68Q25 68T99 PDF BibTeX XML Cite \textit{J. Hopcroft} et al., SIAM J. Comput. 13, 610--629 (1984; Zbl 0588.68054) Full Text: DOI Link OpenURL
Chiu, Dah-Ming; Bernstein, Philip A.; Ho, Yu-Chi Optimizing chain queries in a distributed database system. (English) Zbl 0582.68061 SIAM J. Comput. 13, 116-134 (1984). MSC: 68P20 PDF BibTeX XML Cite \textit{D.-M. Chiu} et al., SIAM J. Comput. 13, 116--134 (1984; Zbl 0582.68061) Full Text: DOI OpenURL
Barz, H. W. The power of synchronization mechanisms. (English) Zbl 0572.68017 SIAM J. Comput. 13, 726-749 (1984). MSC: 68N25 PDF BibTeX XML Cite \textit{H. W. Barz}, SIAM J. Comput. 13, 726--749 (1984; Zbl 0572.68017) Full Text: DOI OpenURL
Ramanan, Prakash V. Pushdown permuter characterization theorem. (English) Zbl 0566.68039 SIAM J. Comput. 13, 167-169 (1984). MSC: 68W99 68Q05 PDF BibTeX XML Cite \textit{P. V. Ramanan}, SIAM J. Comput. 13, 167--169 (1984; Zbl 0566.68039) Full Text: DOI OpenURL
Mayr, Ernst W. An algorithm for the general Petri net reachability problem. (English) Zbl 0563.68057 SIAM J. Comput. 13, 441-460 (1984). MSC: 68Q85 03B25 68Q25 03D15 03D40 03D05 PDF BibTeX XML Cite \textit{E. W. Mayr}, SIAM J. Comput. 13, 441--460 (1984; Zbl 0563.68057) Full Text: DOI OpenURL
Heller, Hans On relativized polynomial and exponential computations. (English) Zbl 0563.03025 SIAM J. Comput. 13, 717-725 (1984). Reviewer: A.Slisenko MSC: 03D15 68Q25 PDF BibTeX XML Cite \textit{H. Heller}, SIAM J. Comput. 13, 717--725 (1984; Zbl 0563.03025) Full Text: DOI OpenURL
Arnon, Dennis S.; Collins, George E.; McCallum, Scott Cylindrical algebraic decomposition. I: The basic algorithm. II: An adjacency algorithm for the plane. (English) Zbl 0562.14001 SIAM J. Comput. 13, 865-877, 878-889 (1984). Reviewer: I.Mihuţ MSC: 14-04 14Pxx 12D10 68W99 PDF BibTeX XML Cite \textit{D. S. Arnon} et al., SIAM J. Comput. 13, 865--877, 878--889 (1984; Zbl 0562.14001) Full Text: DOI OpenURL
Cartwright, Robert Recursive programs as definitions in first order logic. (English) Zbl 0559.68020 SIAM J. Comput. 13, 374-408 (1984). Reviewer: J.Hořejš MSC: 68Q60 68Q65 03D65 03D75 PDF BibTeX XML Cite \textit{R. Cartwright}, SIAM J. Comput. 13, 374--408 (1984; Zbl 0559.68020) Full Text: DOI OpenURL
Dúriś, Pavol; Galil, Zvi Two tapes are better than one for nondeterministic machines. (English) Zbl 0558.68045 SIAM J. Comput. 13, 219-227 (1984). Reviewer: G.Mauri MSC: 68Q05 PDF BibTeX XML Cite \textit{P. Dúriś} and \textit{Z. Galil}, SIAM J. Comput. 13, 219--227 (1984; Zbl 0558.68045) Full Text: DOI OpenURL
Schöning, Uwe; Book, Ronald V. Immunity, relativizations, and nondeterminism. (English) Zbl 0558.68039 SIAM J. Comput. 13, 329-337 (1984). Reviewer: G.Mauri MSC: 68Q25 PDF BibTeX XML Cite \textit{U. Schöning} and \textit{R. V. Book}, SIAM J. Comput. 13, 329--337 (1984; Zbl 0558.68039) Full Text: DOI OpenURL
Reif, John H. On synchronous parallel computations with independent probabilistic choice. (English) Zbl 0558.68038 SIAM J. Comput. 13, 46-56 (1984). Reviewer: G.Mauri MSC: 68Q25 68W99 68Q05 68R10 PDF BibTeX XML Cite \textit{J. H. Reif}, SIAM J. Comput. 13, 46--56 (1984; Zbl 0558.68038) Full Text: DOI OpenURL
Gallier, Jean H. n-rational algebras. II. Varieties and logic of inequalities. (English) Zbl 0554.68018 SIAM J. Comput. 13, 776-794 (1984). MSC: 68Q65 08B99 PDF BibTeX XML Cite \textit{J. H. Gallier}, SIAM J. Comput. 13, 776--794 (1984; Zbl 0554.68018) Full Text: DOI OpenURL
Gallier, Jean H. n-rational algebras. I. Basic properties and free algebras. (English) Zbl 0554.68017 SIAM J. Comput. 13, 750-775 (1984). MSC: 68Q65 08B20 PDF BibTeX XML Cite \textit{J. H. Gallier}, SIAM J. Comput. 13, 750--775 (1984; Zbl 0554.68017) Full Text: DOI OpenURL
von zur Gathen, Joachim Parallel algorithms for algebraic problems. (English) Zbl 0553.68032 SIAM J. Comput. 13, 802-824 (1984). MSC: 68W30 13F20 11T06 13M10 12E05 12D05 68Q25 PDF BibTeX XML Cite \textit{J. von zur Gathen}, SIAM J. Comput. 13, 802--824 (1984; Zbl 0553.68032) Full Text: DOI OpenURL
Sherman, R.; Pnueli, A.; Harel, D. Is the interesting part of process logic uninteresting?: A translation from PL to PDL. (English) Zbl 0551.68031 SIAM J. Comput. 13, 825-839 (1984). Reviewer: H.Nishimura MSC: 68Q65 03B45 PDF BibTeX XML Cite \textit{R. Sherman} et al., SIAM J. Comput. 13, 825--839 (1984; Zbl 0551.68031) Full Text: DOI OpenURL
Keane, M.; Konheim, A. G.; Meilijson, I. The organ pipe permutation. (English) Zbl 0551.68018 SIAM J. Comput. 13, 531-540 (1984). MSC: 68N25 68P05 PDF BibTeX XML Cite \textit{M. Keane} et al., SIAM J. Comput. 13, 531--540 (1984; Zbl 0551.68018) Full Text: DOI OpenURL
Linial, Nathan The information-theoretic bound is good for merging. (English) Zbl 0548.68065 SIAM J. Comput. 13, 795-801 (1984). MSC: 68P10 PDF BibTeX XML Cite \textit{N. Linial}, SIAM J. Comput. 13, 795--801 (1984; Zbl 0548.68065) Full Text: DOI OpenURL
Ja’Ja’, Joseph; Kumar, V. K. Prasanna; Simon, J. Information transfer under different sets of protocols. (English) Zbl 0548.68042 SIAM J. Comput. 13, 840-849 (1984). MSC: 68Q25 68N25 94A15 PDF BibTeX XML Cite \textit{J. Ja'Ja'} et al., SIAM J. Comput. 13, 840--849 (1984; Zbl 0548.68042) Full Text: DOI OpenURL
Lai, Ten-Hwang; Sahni, Sartaj Preemptive scheduling of a multiprocessor system with memories to minimize maximum lateness. (English) Zbl 0548.68027 SIAM J. Comput. 13, 690-704 (1984). MSC: 68M20 PDF BibTeX XML Cite \textit{T.-H. Lai} and \textit{S. Sahni}, SIAM J. Comput. 13, 690--704 (1984; Zbl 0548.68027) Full Text: DOI OpenURL
Heyman, D. P.; Tsur, S. Disk performance in a transaction-oriented system. (English) Zbl 0548.68026 SIAM J. Comput. 13, 669-681 (1984). MSC: 68M20 68N25 68P05 68P20 PDF BibTeX XML Cite \textit{D. P. Heyman} and \textit{S. Tsur}, SIAM J. Comput. 13, 669--681 (1984; Zbl 0548.68026) Full Text: DOI OpenURL
Dobson, Gregory Scheduling independent tasks on uniform processors. (English) Zbl 0548.68025 SIAM J. Comput. 13, 705-716 (1984). MSC: 68M20 PDF BibTeX XML Cite \textit{G. Dobson}, SIAM J. Comput. 13, 705--716 (1984; Zbl 0548.68025) Full Text: DOI OpenURL
Pullman, Norman J. Clique covering of graphs IV. Algorithms. (English) Zbl 0548.05050 SIAM J. Comput. 13, 57-75 (1984). Reviewer: F.Göbel MSC: 05C70 05C99 68Q25 PDF BibTeX XML Cite \textit{N. J. Pullman}, SIAM J. Comput. 13, 57--75 (1984; Zbl 0548.05050) Full Text: DOI OpenURL
Blum, Manuel; Micali, Silvio How to generate cryptographically strong sequences of pseudo-random bits. (English) Zbl 0547.68046 SIAM J. Comput. 13, 850-864 (1984). MSC: 68P25 94A60 65C10 PDF BibTeX XML Cite \textit{M. Blum} and \textit{S. Micali}, SIAM J. Comput. 13, 850--864 (1984; Zbl 0547.68046) Full Text: DOI Backlinks: MO MO OpenURL
Melhem, Rami G.; Rheinboldt, Werner C. A mathematical model for the verification of systolic networks. (English) Zbl 0546.94031 SIAM J. Comput. 13, 541-565 (1984). MSC: 94C15 94C10 PDF BibTeX XML Cite \textit{R. G. Melhem} and \textit{W. C. Rheinboldt}, SIAM J. Comput. 13, 541--565 (1984; Zbl 0546.94031) Full Text: DOI OpenURL
Rosenkrantz, D. J.; Stearns, R. E.; Lewis, P. M. II Consistency and serializability in concurrent database systems. (English) Zbl 0545.68092 SIAM J. Comput. 13, 508-530 (1984). MSC: 68P20 68N25 PDF BibTeX XML Cite \textit{D. J. Rosenkrantz} et al., SIAM J. Comput. 13, 508--530 (1984; Zbl 0545.68092) Full Text: DOI Link OpenURL
Baker, B. S.; Coffman, E. G. jun. Insertion and compaction algorithms in sequentially allocated storage. (English) Zbl 0545.68063 SIAM J. Comput. 13, 600-609 (1984). MSC: 68R99 68Q25 PDF BibTeX XML Cite \textit{B. S. Baker} and \textit{E. G. Coffman jun.}, SIAM J. Comput. 13, 600--609 (1984; Zbl 0545.68063) Full Text: DOI OpenURL
Tarjan, Robert E.; Yannakakis, Mihalis Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. (English) Zbl 0545.68062 SIAM J. Comput. 13, 566-579 (1984). MSC: 68R10 65F05 68P20 65F50 05C65 PDF BibTeX XML Cite \textit{R. E. Tarjan} and \textit{M. Yannakakis}, SIAM J. Comput. 13, 566--579 (1984; Zbl 0545.68062) Full Text: DOI OpenURL
Tsin, Yung H.; Chin, Francis Y. Efficient parallel algorithms for a class of graph theoretic problems. (English) Zbl 0545.68060 SIAM J. Comput. 13, 580-599 (1984). MSC: 68R10 68Q25 PDF BibTeX XML Cite \textit{Y. H. Tsin} and \textit{F. Y. Chin}, SIAM J. Comput. 13, 580--599 (1984; Zbl 0545.68060) Full Text: DOI Link OpenURL
Leung, Joseph Y.-T.; Vornberger, Oliver; Witthoff, James D. On some variants of the bandwidth minimization problem. (English) Zbl 0545.68058 SIAM J. Comput. 13, 650-667 (1984). MSC: 68R10 68Q25 68M20 PDF BibTeX XML Cite \textit{J. Y. T. Leung} et al., SIAM J. Comput. 13, 650--667 (1984; Zbl 0545.68058) Full Text: DOI OpenURL
Blass, Andreas; Gurevich, Yuri Equivalence relations, invariants, and normal forms. (English) Zbl 0545.68035 SIAM J. Comput. 13, 682-689 (1984). MSC: 68Q25 03D15 PDF BibTeX XML Cite \textit{A. Blass} and \textit{Y. Gurevich}, SIAM J. Comput. 13, 682--689 (1984; Zbl 0545.68035) Full Text: DOI OpenURL
Chazelle, Bernard Convex partitions of polyhedra: A lower bound and worst-case optimal algorithm. (English) Zbl 0545.68031 SIAM J. Comput. 13, 488-507 (1984). MSC: 68Q25 51M20 52Bxx PDF BibTeX XML Cite \textit{B. Chazelle}, SIAM J. Comput. 13, 488--507 (1984; Zbl 0545.68031) Full Text: DOI OpenURL
de Bruin, Arie On the existence of Cook semantics. (English) Zbl 0545.68012 SIAM J. Comput. 13, 1-13 (1984). Reviewer: N.Curteanu MSC: 68Q60 03D20 PDF BibTeX XML Cite \textit{A. de Bruin}, SIAM J. Comput. 13, 1--13 (1984; Zbl 0545.68012) Full Text: DOI OpenURL
Beeri, C.; Vardi, M. Y. Formal systems for tuple and equality generating dependencies. (English) Zbl 0544.68064 SIAM J. Comput. 13, 76-98 (1984). MSC: 68P20 68Q65 03B10 PDF BibTeX XML Cite \textit{C. Beeri} and \textit{M. Y. Vardi}, SIAM J. Comput. 13, 76--98 (1984; Zbl 0544.68064) Full Text: DOI OpenURL
Toueg, Sam; Babaoğlu, Özalp On the optimum checkpoint selection problem. (English) Zbl 0543.68013 SIAM J. Comput. 13, 630-649 (1984). MSC: 68N25 68N01 PDF BibTeX XML Cite \textit{S. Toueg} and \textit{Ö. Babaoğlu}, SIAM J. Comput. 13, 630--649 (1984; Zbl 0543.68013) Full Text: DOI Link OpenURL
Ottmann, Thomas; Parker, D. Stott; Rosenberg, Arnold L.; Six, Hans W.; Wood, Derick Minimal-cost brother trees. (English) Zbl 0542.68048 SIAM J. Comput. 13, 197-217 (1984). Reviewer: G.Slutzki MSC: 68P10 68Q25 PDF BibTeX XML Cite \textit{T. Ottmann} et al., SIAM J. Comput. 13, 197--217 (1984; Zbl 0542.68048) Full Text: DOI OpenURL
Hu, T. C.; Shing, M. T. Computation of matrix chain products. II. (English) Zbl 0542.68028 SIAM J. Comput. 13, 228-251 (1984). MSC: 68Q25 68W99 65F30 PDF BibTeX XML Cite \textit{T. C. Hu} and \textit{M. T. Shing}, SIAM J. Comput. 13, 228--251 (1984; Zbl 0542.68028) Full Text: DOI OpenURL
Frederickson, Greg N. Self-organizing heuristics for implicit data structures. (English) Zbl 0539.68053 SIAM J. Comput. 13, 277-291 (1984). MSC: 68P10 PDF BibTeX XML Cite \textit{G. N. Frederickson}, SIAM J. Comput. 13, 277--291 (1984; Zbl 0539.68053) Full Text: DOI OpenURL
Friesen, Donald K. Tighter bounds for the MULTIFIT processor scheduling algorithm. (English) Zbl 0539.68024 SIAM J. Comput. 13, 170-181 (1984). Reviewer: J.Martyna MSC: 68M20 90B35 PDF BibTeX XML Cite \textit{D. K. Friesen}, SIAM J. Comput. 13, 170--181 (1984; Zbl 0539.68024) Full Text: DOI OpenURL
Agarwal, Sunita; Mittal, A. K.; Sharma, P. Constrained optimum communication trees and sensitivity analysis. (English) Zbl 0538.90092 SIAM J. Comput. 13, 315-328 (1984). Reviewer: R.Slowinski MSC: 90C35 05C05 68Q25 68R10 PDF BibTeX XML Cite \textit{S. Agarwal} et al., SIAM J. Comput. 13, 315--328 (1984; Zbl 0538.90092) Full Text: DOI OpenURL
Ladner, Richard E.; Lipton, Richard J.; Stockmeyer, Larry J. Alternating pushdown and stack automata. (English) Zbl 0538.68039 SIAM J. Comput. 13, 135-155 (1984). Reviewer: G.Wechsung MSC: 68Q05 68Q25 68Q45 PDF BibTeX XML Cite \textit{R. E. Ladner} et al., SIAM J. Comput. 13, 135--155 (1984; Zbl 0538.68039) Full Text: DOI OpenURL
Chandra, Ashok K.; Stockmeyer, Larry; Vishkin, Uzi Constant depth reducibility. (English) Zbl 0538.68038 SIAM J. Comput. 13, 423-439 (1984). Reviewer: G.Wechsung MSC: 68Q25 94C10 03D30 68Q05 68P10 PDF BibTeX XML Cite \textit{A. K. Chandra} et al., SIAM J. Comput. 13, 423--439 (1984; Zbl 0538.68038) Full Text: DOI OpenURL
Klawe, Maria Limitations on explicit constructions of expanding graphs. (English) Zbl 0537.68068 SIAM J. Comput. 13, 156-166 (1984). Reviewer: F.Göbel MSC: 68R10 05B30 05C40 PDF BibTeX XML Cite \textit{M. Klawe}, SIAM J. Comput. 13, 156--166 (1984; Zbl 0537.68068) Full Text: DOI OpenURL
Manber, Udi; Tompa, Martin The effect of number of Hamiltonian paths on the complexity of a vertex- coloring problem. (English) Zbl 0537.68067 SIAM J. Comput. 13, 109-115 (1984). Reviewer: F.Göbel MSC: 68R10 68Q25 05C45 PDF BibTeX XML Cite \textit{U. Manber} and \textit{M. Tompa}, SIAM J. Comput. 13, 109--115 (1984; Zbl 0537.68067) Full Text: DOI OpenURL
Frederickson, Greg N.; Johnson, Donald B. Generalized selection and ranking: sorted matrices. (English) Zbl 0537.68059 SIAM J. Comput. 13, 14-30 (1984). MSC: 68P10 68Q25 PDF BibTeX XML Cite \textit{G. N. Frederickson} and \textit{D. B. Johnson}, SIAM J. Comput. 13, 14--30 (1984; Zbl 0537.68059) Full Text: DOI OpenURL
Harel, Dov; Tarjan, Robert Endre Fast algorithms for finding nearest common ancestors. (English) Zbl 0535.68022 SIAM J. Comput. 13, 338-355 (1984). Reviewer: M.Kratko MSC: 68Q25 68Q05 68R10 03D60 PDF BibTeX XML Cite \textit{D. Harel} and \textit{R. E. Tarjan}, SIAM J. Comput. 13, 338--355 (1984; Zbl 0535.68022) Full Text: DOI Link OpenURL
Grandjean, Etienne The spectra of first-order sentences and computational complexity. (English) Zbl 0535.03014 SIAM J. Comput. 13, 356-373 (1984). Reviewer: M.Kratko MSC: 03D15 03D10 PDF BibTeX XML Cite \textit{E. Grandjean}, SIAM J. Comput. 13, 356--373 (1984; Zbl 0535.03014) Full Text: DOI OpenURL
Megiddo, Nimrod; Supowit, Kenneth J. On the complexity of some common geometric location problems. (English) Zbl 0534.68032 SIAM J. Comput. 13, 182-196 (1984). Reviewer: D.Yu.Grigorev MSC: 68Q25 PDF BibTeX XML Cite \textit{N. Megiddo} and \textit{K. J. Supowit}, SIAM J. Comput. 13, 182--196 (1984; Zbl 0534.68032) Full Text: DOI OpenURL
Bini, Dario Parallel solution of certain Toeplitz linear systems. (English) Zbl 0534.68026 SIAM J. Comput. 13, 268-276 (1984). Reviewer: T.N.Katz MSC: 68Q25 65F05 PDF BibTeX XML Cite \textit{D. Bini}, SIAM J. Comput. 13, 268--276 (1984; Zbl 0534.68026) Full Text: DOI OpenURL
Stockmeyer, Larry; Vishkin, Uzi Simulation of parallell random access machines by circuits. (English) Zbl 0533.68048 SIAM. J. Comput. 13, 409-422 (1984). Reviewer: M.Dal Cin MSC: 68Q05 68Q25 94C10 PDF BibTeX XML Cite \textit{L. Stockmeyer} and \textit{U. Vishkin}, SIAM J. Comput. 13, 409--422 (1984; Zbl 0533.68048) Full Text: DOI OpenURL
Robson, J. M. N by N checkers is exptime complete. (English) Zbl 0533.68043 SIAM J. Comput. 13, 252-267 (1984). MSC: 68Q25 91A05 PDF BibTeX XML Cite \textit{J. M. Robson}, SIAM J. Comput. 13, 252--267 (1984; Zbl 0533.68043) Full Text: DOI OpenURL
Sharir, Micha; Pnueli, Amir; Hart, Sergiu Verification of probabilistic programs. (English) Zbl 0533.68012 SIAM J. Comput. 13, 292-314 (1984). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Sharir} et al., SIAM J. Comput. 13, 292--314 (1984; Zbl 0533.68012) Full Text: DOI OpenURL
Dyer, M. E. Linear time algorithms for two- and three-variable linear programs. (English) Zbl 0532.90063 SIAM J. Comput. 13, 31-45 (1984). MSC: 90C05 68Q25 65K05 PDF BibTeX XML Cite \textit{M. E. Dyer}, SIAM J. Comput. 13, 31--45 (1984; Zbl 0532.90063) Full Text: DOI OpenURL
Cosmadakis, Stavros S.; Papadimitriou, Christos H. The traveling salesman problem with many visits to few cities. (English) Zbl 0529.90091 SIAM J. Comput. 13, 99-108 (1984). MSC: 90C35 90C39 68Q25 90B10 90C10 PDF BibTeX XML Cite \textit{S. S. Cosmadakis} and \textit{C. H. Papadimitriou}, SIAM J. Comput. 13, 99--108 (1984; Zbl 0529.90091) Full Text: DOI OpenURL