@article{Tucker/80,
AUTHOR = {Tucker, A.},
TITLE = {An efficient test for circular-arc graphs},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {1-24},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Appl. Math. and Statistics, State Univ. of New York, Stony Brook, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Bloom-Elgot-Wright/80,
AUTHOR = {Bloom, S.L. and Elgot, C.C. and Wright, J.B.},
TITLE = {Solutions of the iteration equation and extensions of the scalar iteration operation},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {25-45},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Math., Stevens Inst. of Technol., Hoboken, NJ, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Kintala-Fischer/80,
AUTHOR = {Kintala, C.M.R. and Fischer, P.C.},
TITLE = {Refining nondeterminism in relativized polynomial-time bounded computations},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {46-53},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Univ. of Southern California, Los Angeles, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Brent-Traub/80,
AUTHOR = {Brent, R.P. and Traub, J.F.},
TITLE = {On the complexity of composition and generalized composition of power series},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {54-66},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Hennessy/80,
AUTHOR = {Hennessy, M.C.B.},
TITLE = {The semantics of call-by-value and call-by-name in a nondeterministic environment},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {67-84},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ontario, Canada},
ADDRESS = {Philadelphia, PA},
}
@article{Stockmeyer-Yao/80,
AUTHOR = {Stockmeyer, P.K. and Yao, F.F.},
TITLE = {On the optimality of linear merge},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {85-90},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Math. and Computer Sci., Coll. of William and Mary, Williamsburg, VA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Cho-Sahni/80,
AUTHOR = {Cho, Y. and Sahni, S.},
TITLE = {Bounds for list schedules on uniform processors},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {91-103},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Statman/80,
AUTHOR = {Statman, R.},
TITLE = {Worst case exponential lower bounds for input resolution with paramodulation},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {104-110},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Math., Rutgers Univ., New Brunswick, NJ, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Wong-Easton/80,
AUTHOR = {Wong, C.K. and Easton, M.C.},
TITLE = {An efficient method for weighted sampling without replacement},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {111-113},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Hartmanis/80,
AUTHOR = {Hartmanis, J.},
TITLE = {On the succinctness of different representations of languages},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {114-120},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Dobkin-Lipton/80,
AUTHOR = {Dobkin, D. and Lipton, R.J.},
TITLE = {Addition chain methods for the evaluation of specific polynomials},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {121-125},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Yale Univ., New Haven, CT, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Hirschberg/80,
AUTHOR = {Hirschberg, D.S.},
TITLE = {On the complexity of searching a set of vectors},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {126-129},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Electrical Engng., Rice Univ., Houston, TX, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Joichi-White-Williamson/80,
AUTHOR = {Joichi, J.T. and White, D.E. and Williamson, S.G.},
TITLE = {Combinatorial Gray codes},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {130-141},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {School of Math., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Flajolet-Ramshaw/80,
AUTHOR = {Flajolet, P. and Ramshaw, L.},
TITLE = {A note on Gray code and odd-even merge},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {142-158},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Iria Laboria, le Chesnay, France},
ADDRESS = {Philadelphia, PA},
}
@article{Rosen/80,
AUTHOR = {Rosen, B.K.},
TITLE = {Monoids for rapid data flow analysis},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {159-196},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Galil/80b,
AUTHOR = {Galil, Z.},
TITLE = {Finding the vertex connectivity of graphs},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {197-199},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Math. Sci., Tel-Aviv Univ., Tel-Aviv, Israel},
ADDRESS = {Philadelphia, PA},
}
@article{Lee-Wong/80,
AUTHOR = {Lee, D.T. and Wong, C.K.},
TITLE = {Voronoi diagrams in $L_1$ ($L_{\infty}$) metrics with 2-dimensional storage applications},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {200-211},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Northwestern Univ., Evanston, IL, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Babai/80,
AUTHOR = {Babai, L.},
TITLE = {On the complexity of canonical labeling of strongly regular graphs},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {1},
PAGES = {212-216},
YEAR = {1980, February},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Algebra, Eotvos L. Univ., Budapest, Hungary},
ADDRESS = {Philadelphia, PA},
}
@article{Shiloach/80,
AUTHOR = {Shiloach, Y.},
TITLE = {A multi-terminal minimum cut algorithm for planar graphs},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {219-224},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Winograd/80,
AUTHOR = {Winograd, S.},
TITLE = {On multiplication of polynomials modulo a polynomial},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {225-229},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Pippenger/80,
AUTHOR = {Pippenger, N.},
TITLE = {On the evaluation of powers and monomials},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {230-250},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Math. Sci. Dept., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Morgera/80,
AUTHOR = {Morgera, S.D.},
TITLE = {Efficient synthesis and implementation of large discrete Fourier transformations},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {251-272},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Systems Engng. Lab., Raytheon Co., Portsmouth, RI, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Rabin/80,
AUTHOR = {Rabin, M.O.},
TITLE = {Probabilistic algorithms in finite fields},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {273-280},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {MIT, Cambridge, MA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Corneil-Kirkpatrick/80,
AUTHOR = {Corneil, D.G. and Kirkpatrick, D.G.},
TITLE = {A theoretical analysis of various heuristics for the graph isomorphism problem},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {281-297},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Toronto, Toronto, Ontario, Canada},
ADDRESS = {Philadelphia, PA},
}
@article{Hwang/80,
AUTHOR = {Hwang, F.K.},
TITLE = {Optimal merging of 3 elements with $n$ elements},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
PAGES = {298-320},
YEAR = {1980},
PUBLISHER = {Society for Industrial and Applied Mathematics},
ADDRESS = {Philadelphia, PA},
}
@article{Pan/80a,
AUTHOR = {Pan, V.Ya.},
TITLE = {New fast algorithms for matrix operations},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {321-342},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Math. Sci. Dept., IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Yao-Rivest/80,
AUTHOR = {Yao, A.C.-C. and Rivest, R.L.},
TITLE = {On the polyhedral decision problem},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {343-347},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Gurari-Ibarra/80,
AUTHOR = {Gurari, E.M. and Ibarra, O.H.},
TITLE = {Path systems: Constructions, solutions and applications},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
PAGES = {348-374},
YEAR = {1980},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Reif/80,
AUTHOR = {Reif, J.H.},
TITLE = {Code motion},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {375-395},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Center for Res. in Computing Technol., Harvard Univ., Cambridge, MA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Hunt-Constable-Sahni/80,
AUTHOR = {Hunt III, H.B. and Constable, R.L. and Sahni, S.},
TITLE = {On the computational complexity of program scheme equivalence},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {396-416},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Columbia Univ., New York, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Galil-Seiferas/80,
AUTHOR = {Galil, Z. and Seiferas, J.},
TITLE = {Saving space in fast string-matching},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {2},
PAGES = {417-438},
YEAR = {1980, May},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Math. Sci., Tel-Aviv Univ., Tel-Aviv, Israel},
ADDRESS = {Philadelphia, PA},
}
@article{Ehrig-Rosen/80a,
AUTHOR = {Ehrig, H. and Rosen, B.K.},
TITLE = {The mathematics of record handling},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {441-469},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Fachbereich Informatik, Tech. Univ. Berlin, Berlin, Germany},
ADDRESS = {Philadelphia, PA},
}
@article{Parker/80,
AUTHOR = {Parker, D.S., Jr.},
TITLE = {Conditions for optimality of the Huffman algorithm},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {470-489},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Illinois, Urbana-Champaign, IL, USA},
ADDRESS = {Philadelphia, PA},
NOTE = {see Erratum in SIAM J. Comput., Vol. 27, 1998, No. 1, 317},
}
@article{Schonhage/80,
AUTHOR = {Sch{\"o}nhage, A.},
TITLE = {Storage modification machines},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {490-508},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Math. Inst., Univ. Tubingen, Tubingen, Germany},
ADDRESS = {Philadelphia, PA},
}
@article{Rytter/80,
AUTHOR = {Rytter, W.},
TITLE = {A correct preprocessing algorithm for Boyer-Moore string-searching},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {509-512},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Inst. de Investigaciones en Matematicas Aplicadas Y en Sistemas, Univ. Nacional Autonoma de Mexico, Mexico City, Mexico},
ADDRESS = {Philadelphia, PA},
}
@article{Gilbert-Lengauer-Tarjan/80,
AUTHOR = {Gilbert, J.R. and Lengauer, T. and Tarjan, R.E.},
TITLE = {The pebbling problem is complete in polynomial space},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {513-524},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Bloom-Elgot-Wright/80a,
AUTHOR = {Bloom, S.L. and Elgot, C.C. and Wright, J.B.},
TITLE = {Vector iteration in pointed iterative theories},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {525-540},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Pure and Appl. Math., Stevens Inst. of Technol., Hoboken, NJ, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Jaffe/80,
AUTHOR = {Jaffe, J.M.},
TITLE = {Bounds on the scheduling of typed task systems},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {541-551},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Lab. for Computer Sci., MIT, Cambridge, MA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Weide/80,
AUTHOR = {Weide, B.W.},
TITLE = {Random graphs and graph optimization problems},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {552-557},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer and Information Sci., Ohio State Univ., Columbus, OH, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Lawler-Lenstra-Rinnooy_Kan/80,
AUTHOR = {Lawler, E.L. and Lenstra, J.K. and Rinnooy Kan, A.H.G.},
TITLE = {Generating all maximal independent sets: NP-hardness and polynomial-time algorithms},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {558-565},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Div., Univ. of California, Berkeley, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Yao/80b,
AUTHOR = {Yao, A.C.-C.},
TITLE = {Bounds on selection networks},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {566-582},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Stanford Univ., Stanford, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{George-Liu/80,
AUTHOR = {George, A. and Liu, J.W.H.},
TITLE = {An optimal algorithm for symbolic factorization of symmetric matrices},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {583-593},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Waterloo, Waterloo, Ontario, Canada},
ADDRESS = {Philadelphia, PA},
}
@article{Brown-Tarjan/80,
AUTHOR = {Brown, M.R. and Tarjan, R.E.},
TITLE = {Design and analysis of a data structure for representing sorted lists},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {594-614},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Yale Univ., New Haven, CT, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Lipton-Tarjan/80,
AUTHOR = {Lipton, R.J. and Tarjan, R.E.},
TITLE = {Applications of a planar separator theorem},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {615-627},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computer Sci. Dept., Yale Univ., New Haven, CT, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Babai-Erdos-Selkow/80,
AUTHOR = {Babai, L. and Erd{\H{o}}s, P. and Selkow, S.M.},
TITLE = {Random graph isomorphism},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {628-635},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Algebra and Number Theory, Eotvos L. Univ., Budapest, Hungary;},
ADDRESS = {Philadelphia, PA},
}
@article{Cook-Rackoff/80,
AUTHOR = {Cook, S.A. and Rackoff, C.W.},
TITLE = {Space lower bounds for maze threadability on restricted machines},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {3},
PAGES = {636-652},
YEAR = {1980, August},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Toronto, Toronto, Ontario, Canada},
ADDRESS = {Philadelphia, PA},
}
@article{Tai/80,
AUTHOR = {Tai, K.-C.},
TITLE = {Predictors of context-free grammars},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
PAGES = {653-664},
YEAR = {1980},
PUBLISHER = {Society for Industrial and Applied Mathematics},
ADDRESS = {Philadelphia, PA},
}
@article{Apt-Meertens/80,
AUTHOR = {Apt, K.R. and Meertens, L.G.L.T.},
TITLE = {Completeness with finite systems of intermediate assertions for recursive program schemes},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {665-671},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Faculty of Economics, Erasmus Univ. Rotterdam, Rotterdam, Netherlands},
ADDRESS = {Philadelphia, PA},
}
@article{Guibas-Odlyzko/80,
AUTHOR = {Guibas, L.J. and Odlyzko, A.M.},
TITLE = {A new proof of the linearity of the Boyer-Moore string searching algorithm},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {672-682},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Xerox Corp., Palo Alto Res. Center, Palo Alto, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Bloom-Tindell/80,
AUTHOR = {Bloom, S.L. and Tindell, R.},
TITLE = {Compatible orderings on the metric theory of trees},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {683-691},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Pure and Appl. Math., Stevens Inst. of Technol., Hoboken, NJ, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Bini-Lotti-Romani/80,
AUTHOR = {Bini, D. and Lotti, G. and Romani, F.},
TITLE = {Approximate solutions for the bilinear form computational problem},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {692-697},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Istituto di Matematica, Univ. of Pisa, Pisa, Italy;},
ADDRESS = {Philadelphia, PA},
}
@article{Plaisted/80,
AUTHOR = {Plaisted, D.A.},
TITLE = {The application of multivariate polynomials to inference rules and partial tests for unsatisfiability},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {698-705},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Illinois, Urbana, IL, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Beyer-Hedetniemi/80,
AUTHOR = {Beyer, T. and Hedetniemi, S.M.},
TITLE = {Constant time generation of rooted trees},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {706-712},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Computing Center and Dept. of Computer and Information Sci., Univ. of Oregon, Eugene, Or, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Jaja/80b,
AUTHOR = {J{\'a}j{\'a}, J.},
TITLE = {On the complexity of bilinear forms with commutativity},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {713-728},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Pennsylvania State Univ., University Park, PA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Book-Brandenburg/80,
AUTHOR = {Book, R.V. and Brandenburg, F.-J.},
TITLE = {Equality sets and complexity classes},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {729-743},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Math., Univ. of California, Santa Barbara, CA, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Nassimi-Sahni/80,
AUTHOR = {Nassimi, D. and Sahni, S.},
TITLE = {Finding connected components and connected ones on a mesh-connected parallel computer},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {744-757},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Electrical Engng. and Computer Sci., Northwestern Univ., Evanston, IL, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Seroussi-Lempel/80,
AUTHOR = {Seroussi, G. and Lempel, A.},
TITLE = {Factorization of symmetric matrices and trace-orthogonal bases in finite fields},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {758-767},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Technion-Israel Inst. of Technol., Haifa, Israel},
ADDRESS = {Philadelphia, PA},
}
@article{Feldman-Nigam/80,
AUTHOR = {Feldman, J.A. and Nigam, A.},
TITLE = {A model and proof technique for message-based systems},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {768-784},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Univ. of Rochester, Rochester, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Majster-Reiser/80,
AUTHOR = {Majster, Mila E. and Reiser, Angelika},
TITLE = {Efficient on-line construction and correction of position trees},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {785-807},
YEAR = {1980, November},
KEYWORDS = {pattern matching, position tree, on-line algorithm},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Inst. f{\"u}r Informatik, Tech. Univ. Munich, Munich, Germany},
ADDRESS = {Philadelphia, PA},
}
@article{Coffman-Garey-Johnson-Tarjan/80,
AUTHOR = {Coffman, E.G., Jr. and Garey, M.R. and Johnson, D.S. and Tarjan, R.E.},
TITLE = {Performance bounds for level-oriented two-dimensional packing algorithms},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {808-826},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Bell Labs., Murray Hill, NJ, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Aspvall-Shiloach/80,
AUTHOR = {Aspvall, B. and Shiloach, Y.},
TITLE = {A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {827-845},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Dept. of Computer Sci., Cornell Univ., Ithaca, NY, USA},
ADDRESS = {Philadelphia, PA},
}
@article{Baker-Coffman-Rivest/80,
AUTHOR = {Baker, B.S. and Coffman, E.G., Jr. and Rivest, R.L.},
TITLE = {Orthogonal packings in two dimensions},
JOURNAL = {SIAM J. Comput.},
VOLUME = {9},
NUMBER = {4},
PAGES = {846-855},
YEAR = {1980, November},
PUBLISHER = {Society for Industrial and Applied Mathematics},
INSTITUTION = {Bell Labs., Murray Hill, NJ, USA},
ADDRESS = {Philadelphia, PA},
}