ask others

9th STOC 1977: Boulder, Colorado, USA

> Home > Conferences and Workshops > STOC

- no documents available
- export record
  dblp key:
  - conf/stoc/STOC9
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/STOC9
John E. Hopcroft, Emily P. Friedman, Michael A. Harrison:
Proceedings of the 9th Annual ACM Symposium on Theory of Computing, May 4-6, 1977, Boulder, Colorado, USA. ACM 1977
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Itai77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Itai77
Alon Itai:
Finding a Minimum Circuit in a Graph. 1-10
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/YaoAR77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/YaoAR77
Andrew Chi-Chih Yao, David Avis, Ronald L. Rivest:
An Omega(n^2 log n) Lower Bound to the Shortest Paths Problem. 11-17
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Tarjan77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Tarjan77
Robert Endre Tarjan:
Reference Machines Require Non-linear Time to Maintain Disjoint Sets. 18-29
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/AngluinV77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/AngluinV77
Dana Angluin, Leslie G. Valiant:
Fast Probabilistic Algorithms for Hamiltonian Circuits and Matchings. 30-41
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Brown77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Brown77
Mark R. Brown:
The Complexity of Priority Queue Maintenance. 42-48
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/GuibasMPR77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/GuibasMPR77
Leonidas J. Guibas, Edward M. McCreight, Michael F. Plass, Janet R. Roberts:
A New Representation for Linear Lists. 49-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/SacerdoteT77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/SacerdoteT77
George S. Sacerdote, Richard L. Tenney:
The Decidability of the Reachability Problem for Vector Addition Systems (Preliminary Version). 61-76
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/stoc/ChandraM77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/ChandraM77
Ashok K. Chandra, Philip M. Merlin:
Optimal Implementation of Conjunctive Queries in Relational Data Bases. 77-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/PetersonF77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/PetersonF77
Gary L. Peterson, Michael J. Fischer:
Economical Solutions for the Critical Section Problem in a Distributed System (Extended Abstract). 91-97
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Rosenthal77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Rosenthal77
Arnie Rosenthal:
Nonserial Dynamic Programming Is Optimal. 98-105
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/CarterW77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/CarterW77
Larry Carter, Mark N. Wegman:
Universal Classes of Hash Functions (Extended Abstract). 106-112
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/GonnetM77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/GonnetM77
Gaston H. Gonnet, J. Ian Munro:
The Analysis of an Improved Hashing Technique. 113-121
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Beatty77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Beatty77
John C. Beatty:
Iteration Theorems for LL(k) Languages. 122-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/PrabhalaS77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/PrabhalaS77
Bhaskaram Prabhala, Ravi Sethi:
A Comparison of Instruction Sets for Stack Machines. 132-142
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Miller77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Miller77
Gary L. Miller:
Graph Isomorphism, General Remarks. 143-150
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/AdlemanM77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/AdlemanM77
Leonard M. Adleman, Kenneth L. Manders:
Reducibility, Randomness, and Intractability (Abstract). 151-163
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Kozen77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Kozen77
Dexter Kozen:
Complexity of Finitely Presented Algebras. 164-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/KintalaF77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/KintalaF77
Chandra M. R. Kintala, Patrick C. Fischer:
Computations with a Restricted Number of Nondeterministic Steps (Extended Abstract). 178-185
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/SimonG77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/SimonG77
István Simon, John Gill:
Polynomial Reducibilities and Upward Diagonalizations. 186-194
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Simon77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Simon77
Janos Simon:
On Feasible Numbers (Preliminary Version). 195-207
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Sudborough77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Sudborough77
Ivan Hal Sudborough:
Separating Tape Bounded Auxiliary Pushdown Automata Classes. 208-217
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Paul77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Paul77
Wolfgang J. Paul:
On Time Hierarchies. 218-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Hartmanis77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Hartmanis77
Juris Hartmanis:
Relations Between Diagonalization, Proof Systems, and Complexity Gaps (Preliminary Version). 223-227
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/LynchB77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/LynchB77
Nancy A. Lynch, Edward K. Blum:
Efficient Reducibility Between Programming Systems: Preliminary Report. 228-238
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/LeongS77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/LeongS77
Benton L. Leong, Joel I. Seiferas:
New Real-Time Simulations of Multihead Tape Units. 239-248
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/HarelPS77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/HarelPS77
David Harel, Amir Pnueli, Jonathan Stavi:
A Complete Axiomatic System for Proving Deductions about Recursive Programs. 249-260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/HarelMP77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/HarelMP77
David Harel, Albert R. Meyer, Vaughan R. Pratt:
Computability and Completeness in Logics of Programs (Preliminary Report). 261-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/Constable77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/Constable77
Robert L. Constable:
On the Theory of Programming Logics. 269-285
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/FischerL77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/FischerL77
Michael J. Fischer, Richard E. Ladner:
Propositional Modal Logic of Programs (Extended Abstract). 286-294
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/ODonnell77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/ODonnell77
Mike O'Donnell:
Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic. 295-305
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stoc/HennessyA77
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stoc/HennessyA77
Matthew Hennessy, Edward A. Ashcroft:
Parameter-Passing Mechanisms and Nondeterminism. 306-311

maintained by

, founded at