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