16. STOC 1984: Washington, DC, USA
Richard A. DeMillo (Ed.):
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1984, Washington, DC, USA.
ACM 1984
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rob Gerth :
Transition Logic: How to Reason About Temporal Properties in a Compositional Way.
39-50
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Norbert Blum :
An Area-Maximum Edge Length Tradeoff for VLSI Layout.
92-97
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ming-Deh A. Huang :
Factorization of Polynomials over Finite Fields and Factorization of Primes in Algebraic Number Fields.
175-182
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Uzi Vishkin :
Randomized Speed-Ups in Parallel Computation.
230-239
export record as
dblp key:
Zvi Galil :
Optimal Parallel Algorithms for String Matching.
240-248
export record as
dblp key:
export record as
dblp key:
Eli Upfal :
A Probabilistic Relation between Desirable and Feasible Models of Parallel Computation (A Preliminary Version).
258-265
export record as
dblp key:
export record as
dblp key:
Udi Manber :
On Maintaining Dynamic Information in a Concurrent Environment (Preliminary Version).
273-278
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ilan Adler ,
Nimrod Megiddo :
A Simplex Algorithm Whose Average Number of Steps is Bounded between Two Quadratic Functions of the Smaller Dimension.
312-323
export record as
dblp key:
export record as
dblp key:
Gaston H. Gonnet :
Determining Equivalence of Expressions in Random Polynomial Time (Extended Abstract).
334-341
export record as
dblp key:
Kenneth L. Clarkson :
Fast Expected-Time and Approximation Algorithms for Geometric Minimum Spanning Trees (Extended Abstract).
342-348
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gary L. Miller :
Finding Small Simple Cycle Separators for 2-Connected Planar Graphs.
376-382
export record as
dblp key:
conf/stoc/FredericksonS84
export record as
dblp key:
export record as
dblp key:
Wolfgang Maass :
Quadratic Lower Bounds for Deterministic and Nondeterministic One-Tape Turing Machines (Extended Abstract).
401-408
export record as
dblp key:
export record as
dblp key:
David Harel :
A General Result on Infinite Trees and Its Applications (Preliminary Report).
418-427
export record as
dblp key:
Dexter Kozen :
Pebblings, Edgings, and Equational Logic.
428-435
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Helmut Alt :
Comparison of Arithmetic Functions with Respect to Boolean Circuit Depth (Extended Abstract).
466-470
export record as
dblp key:
export record as
dblp key:
Ravi B. Boppana :
Threshold Functions and Bounded Depth Monotone Circuits.
475-479
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/stoc/FredericksonL84
export record as
dblp key:
export record as
dblp key:
Dan E. Willard :
Log-Logarithmic Protocols for Resolving Ethernet and Semaphore Conflicts (Preliminary Report).
512-521
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Paul M. B. Vitányi :
Distributed Elections in an Archimedean Ring of Processors (Preliminary Version).
542-547