|
|
Proceedings of the 6th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1974, Seattle, Washington, USA. ACM 1974
- Ashok K. Chandra:
Degrees of Translatability and Canonical Forms in Program Schemas: Part I.
1-12 BibTeX
- Bruno Courcelle, Jean Vuillemin:
Semantics and Axiomatics of a Simple Recursive Language.
13-26 BibTeX
- Leslie G. Valiant:
The Decidability of Equivalence for Deterministic Finite-Turn Pushdown Automata.
27-32 BibTeX
- Stephen Cook, Ravi Sethi:
Storage Requirements for Deterministic Polynomial Time Recognizable Languages.
33-39 BibTeX
- Neil D. Jones, William T. Laaser:
Complete Problems for Deterministic Polynomial Time.
40-46 BibTeX
- M. R. Garey, David S. Johnson, Larry J. Stockmeyer:
Some Simplified NP-Complete Problems.
47-63 BibTeX
- Harry B. Hunt III, Daniel J. Rosenkrantz:
Computational Parallels between the Regular and Context-Free Languages.
64-74 BibTeX
- Andrzej Ehrenfeucht, H. Paul Zeiger:
Complexity Measures for Regular Expressions.
75-79 BibTeX
- Vaughan R. Pratt:
The Power of Negative Thinking in Multiplying Boolean Matrices.
80-83 BibTeX
- David G. Kirkpatrick:
Determining Graph Properties from Matrix Representations.
84-90 BibTeX
- John T. Gill III:
Computational Complexity of Probabilistic Turing Machines.
91-95 BibTeX
- Kurt Mehlhorn:
Polynomial and Abstract Subrecursive Classes.
96-109 BibTeX
- Richard E. Ladner, Nancy A. Lynch, Alan L. Selman:
Comparisons of Polynomial-Time Reducibilities.
110-121 BibTeX
- Vaughan R. Pratt, Michael O. Rabin, Larry J. Stockmeyer:
A Characterization of the Power of Vector Machines.
122-134 BibTeX
- Stephen A. Cook, Robert A. Reckhow:
On the Lengths of Proofs in the Propositional Calculus (Preliminary Version).
135-148 BibTeX
- Charles Rackoff:
On the Complexity of the Theories of Weak Direct Products: A Preliminary Report.
149-160 BibTeX
- Edward L. Robertson:
Structure of Complexity in the Weak Monadic Second-Order Theories of the Natural Numbers.
161-171 BibTeX
- John E. Hopcroft, J. K. Wong:
Linear Time Algorithm for Isomorphism of Planar Graphs (Preliminary Report).
172-184 BibTeX
- Robert Endre Tarjan:
Testing Graph Connectivity.
185-193 BibTeX
- Edward C. Horvath:
Efficient Stable Sorting with Minimal Extra Space.
194-215 BibTeX
- Laurent Hyafil, F. Prusker, Jean Vuillemin:
An Efficient Algorithm for Computing Optimal Desk Merge Patterns (Extended Abstract).
216-229 BibTeX
- Richard J. Lipton:
Limitations of Synchronization Primitives with Conditional Branching and Global Variables.
230-241 BibTeX
- Jonathan K. Millen:
Construction with Parallel Derivatives of the Closure of a Parallel Program Schema.
242-247 BibTeX
- K. Vairavan, Richard A. DeMillo:
Parallel Scheduling of Programs in a Restricted Model of Computation.
248-255 BibTeX
- Sheila A. Greibach:
Some Restrictions on W-Grammars.
256-265 BibTeX
- Michael Hammer:
A New Grammatical Transformation into LL(k) Form (Extended Abstract).
266-275 BibTeX
- Joel I. Seiferas:
Observations on Nondeterministic Multidimensional Iterative Arrays.
276-289 BibTeX
- Ronald V. Book, Maurice Nivat, Mike Paterson:
Intersections of Linear Context-Free Languages and Reversal-Bounded Multipushdown Machines (Extended Abstract).
290-296 BibTeX
- Arnold L. Rosenberg:
Managing Storage for Extendible Arrays.
297-302 BibTeX
- Jan van Leeuwen:
A Partial Solution to the Reachability-Problem for Vector-Addition Systems.
303-309 BibTeX
- David P. Dobkin, Richard J. Lipton:
On Some Generalizations of Binary Search.
310-316 BibTeX
- Webb Miller:
Computational Complexity and Numerical Stability.
317-322 BibTeX
- H. T. Kung:
New Algorithms and Lower Bounds for the Parallel Evaluation of Certain Rational Expressions.
323-333 BibTeX
- Zvi M. Kedem:
Combining Dimensionality and Rate of Growth Arguments for Establishing Lower Bounds on the Number of Multiplications.
334-341 BibTeX
- Allan Borodin, Stephen A. Cook:
On the Number of Additions to Compute Specific Polynomials (Preliminary Version).
342-347 BibTeX
Copyright © Sat May 16 23:43:09 2009
by Michael Ley (ley@uni-trier.de)