10. STOC 1978
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1-3, 1978, San Diego, California, USA. ACM 1978
- Nimrod Megiddo:
Combinatorial Optimization with Rational Objective Functions.
1-12 BibTeX
- George S. Lueker:
Maximization Problems on Graphs with Edge Weights Chosen from a Normal Distribution (Extended Abstract).
13-18 BibTeX
- Mark R. Brown, Robert Endre Tarjan:
A Representation for Linear Lists with Movable Fingers.
19-29 BibTeX
- James A. Storer, Thomas G. Szymanski:
The Macro Model for Data Compression (Extended Abstract).
30-39 BibTeX
- Andrea S. LaPaugh, Ronald L. Rivest:
The Subgraph Homeomorphism Problem.
40-50 BibTeX
- Gary L. Miller:
On the n^log n Isomorphism Technique: A Preliminary Report.
51-58 BibTeX
- Larry Carter, Robert W. Floyd, John Gill, George Markowsky, Mark N. Wegman:
Exact and Approximate Membership Testers.
59-65 BibTeX
- Joost Engelfriet, Grzegorz Rozenberg, Giora Slutzki:
Tree Transducers, L Systems and Two-Way Machines (Extended Abstract).
66-74 BibTeX
- Jean-Claude Raoult, Jean Vuillemin:
Operational and Semantic Equivalence between Recursive Programs.
75-85 BibTeX
- Howard P. Katseff:
A New Solution to the Critical Section Problem.
86-88 BibTeX
- Leslie M. Goldschlager:
A Unified Approach to Models of Synchronous Parallel Machines.
89-94 BibTeX
- Edward Sciore, A. Tang:
Computability Theory in Admissible Domains.
95-104 BibTeX
- Raymond E. Miller, Chee-Keng Yap:
On Formulating Simultaneity for Studying Parallelism and Synchronization.
105-113 BibTeX
- Steven Fortune, James Wyllie:
Parallelism in Random Access Machines.
114-118 BibTeX
- James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Data Type Specification: Parameterization and the Power of Specification Techniques.
119-132 BibTeX
- I. S. Filotti:
An Efficient Algorithm for Determining Whether a Cubic Graph is Toroidal.
133-142 BibTeX
- Ingo Wegener:
Switching Functions Whose Monotone Complexity Is Nearly Quadratic.
143-149 BibTeX
- Nancy A. Lynch:
Straight-Line Program Length as a Parameter for Complexity Measures.
150-161 BibTeX
- Victor Y. Pan:
Computational Complexity of Computing Polynomials over the Fields of Real and Complex Numbers.
162-172 BibTeX
- Joseph JáJá:
Optimal Evaluation of Pairs of Bilinear Forms.
173-183 BibTeX
- Harold N. Gabow, Oded Kariv:
Algorithms for Edge Coloring Bipartite Graphs.
184-192 BibTeX
- Laurent Hyafil:
On the Parallel Evaluation of Multivariate Polynomials.
193-195 BibTeX
- Martin Tompa:
Time-Space Tradeoffs for Computing Functions, Using Connectivity Properties of their Circuits.
196-204 BibTeX
- Eitan M. Gurari, Oscar H. Ibarra:
An NP-Complete Number-Theoretic Problem.
205-215 BibTeX
- Thomas J. Schaefer:
The Complexity of Satisfiability Problems.
216-226 BibTeX
- Ronald L. Rivest, Albert R. Meyer, Daniel J. Kleitman, Karl Winklmann, Joel Spencer:
Coping with Errors in Binary Search Procedures (Preliminary Report).
227-232 BibTeX
- Anni R. Bruss, Albert R. Meyer:
On Time-Space Classes and Their Relation to the Theory of Real Addition.
233-239 BibTeX
- David G. Kirkpatrick, Pavol Hell:
On the Completeness of a Generalized Matching Problem.
240-245 BibTeX
- Martin Dowd:
Propositional Representation of Arithmetic Proofs (Preliminary Version).
246-252 BibTeX
- Mihalis Yannakakis:
Node- and Edge-Deletion NP-Complete Problems.
253-264 BibTeX
- John M. Lewis:
On the Complexity of the Maximum Subgraph Problem.
265-274 BibTeX
- William J. Sakoda, Michael Sipser:
Nondeterminism and the Size of Two Way Finite Automata.
275-286 BibTeX
- Dexter Kozen:
Indexing of Subrecursive Classes.
287-295 BibTeX
- Gérard M. Baudet:
An Analysis of the Full Alpha-Beta Pruning Algorithm.
296-313 BibTeX
- John Case, Carl Smith:
Anomaly Hierarchies of Mechanized Inductive Inference.
314-319 BibTeX
- C. R. Reddy, Donald W. Loveland:
Presburger Arithmetic with Bounded Quantifier Alternation.
320-325 BibTeX
- Vaughan R. Pratt:
A Practical Decision Method for Propositional Dynamic Logic: Preliminary Report.
326-337 BibTeX
- Charles Rackoff:
Relativized Questions Involving Probabilistic Algorithms.
338-342 BibTeX
Copyright © Sat May 16 23:43:09 2009
by Michael Ley (ley@uni-trier.de)