ask others

7. STOC 1975: Albuquerque, New Mexico, USA

> Home > Conferences and Workshops > STOC

- no documents available
- export record
  dblp key:
  - conf/stoc/STOC7
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/STOC7
William C. Rounds, Nancy Martin, Jack W. Carlyle, Michael A. Harrison:
Proceedings of the 7th Annual ACM Symposium on Theory of Computing, May 5-7, 1975, Albuquerque, New Mexico, USA. ACM 1975
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/LiptonD75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/LiptonD75
Richard J. Lipton, David P. Dobkin:
Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and n-linear Forms. 1-5
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/RivestV75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/RivestV75
Ronald L. Rivest, Jean Vuillemin:
A Generalization and Proof of the Aanderaa-Rosenberg Conjecture. 6-11
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/HyafilK75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/HyafilK75
Laurent Hyafil, H. T. Kung:
The Complexity of Parallel Evaluation of Linear Recurrence. 12-22
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Yao75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Yao75
Andrew Chi-Chih Yao:
On Computing the Minima of Quadratic Forms (Preliminary Report). 23-26
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Paul75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Paul75
Wolfgang J. Paul:
A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions. 27-36
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/FischerMP75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/FischerMP75
Michael J. Fischer, Albert R. Meyer, Mike Paterson:
Lower Bounds on the Size of Boolean Formulas: Preliminary Report. 37-44
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Valiant75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Valiant75
Leslie G. Valiant:
On Non-linear Lower Bounds in Computational Complexity. 45-53
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/HuntS75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/HuntS75
Harry B. Hunt III, Thomas G. Szymanski:
On the Complexity of Grammar and Related Problems. 54-65
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/EvenT75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/EvenT75
Shimon Even, Robert Endre Tarjan:
a Combinatorial Problem which is Complete in Polynomial Space. 66-71
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Galil75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Galil75
Zvi Galil:
On the Validity and Complexity of Bounded Resolution. 72-82
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Cook75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Cook75
Stephen A. Cook:
Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version). 83-97
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/EgliC75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/EgliC75
Herbert Egli, Robert L. Constable:
Computability Concepts for Programming Language Semantics. 98-106
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/OppenC75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/OppenC75
Derek C. Oppen, Stephen A. Cook:
Proving Assertions about Programs that Manipulate Data Structures. 107-116
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/EhrenfeuchtR75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/EhrenfeuchtR75
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On (Un)predictability of Formal Languages (Extended Abstract). 117-120
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Skyum75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Skyum75
Sven Skyum:
On Decomposing Languages Defined by Parallel Devices. 121-125
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Perrault75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Perrault75
C. Raymond Perrault:
Intercalation Theorems for Tree Transducer Languages. 126-136
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/EhrenfeuchtR75a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/EhrenfeuchtR75a
Andrzej Ehrenfeucht, Grzegorz Rozenberg:
On the (Combinatorial) Structure of L Languages without Interactions. 137-144
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Wotschke75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Wotschke75
Detlef Wotschke:
Degree-Languages, Polynomial Time Recognition, and the LBA Problem. 145-152
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/GinsburgL75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/GinsburgL75
Seymour Ginsburg, Nancy A. Lynch:
Comparative Complexity of Grammar Forms. 153-158
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/RosenbergS75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/RosenbergS75
Arnold L. Rosenberg, Larry J. Stockmeyer:
Hashing Schemes for Extendible Arrays (Extended Arrays). 159-166
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Pratt75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Pratt75
Terrence W. Pratt:
Four Models for the Analysis of Optimization of Program Control Structures. 167-176
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/AhoU75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/AhoU75
Alfred V. Aho, Jeffrey D. Ullman:
Node Listings for Reducible Flow Graphs. 177-185
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/LiptonED75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/LiptonED75
Richard J. Lipton, Stanley C. Eisenstat, Richard A. DeMillo:
The Complexity of Control Structures and Data Structures. 186-193
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/MannaS75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/MannaS75
Zohar Manna, Adi Shamir:
The Optimal Fixedpoint of Recursive Programs. 194-206
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/AhoJ75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/AhoJ75
Alfred V. Aho, Stephen C. Johnson:
Optimal Code Generation for Expression Trees. 207-217
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Wagner75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Wagner75
Robert A. Wagner:
On the Complexity of the Extended String-to-String Correction Problem. 218-223
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Shamos75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Shamos75
Michael Ian Shamos:
Geometric Complexity. 224-233
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Miller75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Miller75
Gary L. Miller:
Riemann's Hypothesis and Tests for Primality. 234-239
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/Fredman75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Fredman75
Michael L. Fredman:
Two Applications of a Probabilistic Search Technique: Sorting x + y and Building Balanced Search Trees. 240-244
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/RoseT75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/RoseT75
Donald J. Rose, Robert Endre Tarjan:
Algorithmic Aspects of Vertex Elimination. 245-254
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/stoc/BoothL75
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/BoothL75
Kellogg S. Booth, George S. Lueker:
Linear Algorithms to Recognize Interval Graphs and Test for the Consecutive Ones Property. 255-265

maintained by

at