FOCS A*

29 papers

YearTitle / Authors
197516th Annual Symposium on Foundations of Computer Science, Berkeley, California, USA, October 13-15, 1975
1975A Grammatical Characterization of Exponential-Time Languages
William C. Rounds
1975A Note on Tape Bounds for SLA Language Processing
Juris Hartmanis, Leonard Berman
1975An Application of Graph Coloring to Printed Circuit Testing (Working Paper)
M. R. Garey, David S. Johnson, Hing C. So
1975An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown Automata
Catriel Beeri
1975An O(n^2.5) Algorithm for Maximum Matching in General Graphs
Shimon Even, Oded Kariv
1975An Optimal Bound for Two Dimensional Bin Packing
Daniel J. Kleitman, Michael M. Krieger
1975Bases for Chain-Complete Posets
George Markowsky, Barry K. Rosen
1975Closest-Point Problems
Michael Ian Shamos, Dan Hoey
1975Computational Complexity of Decision Procedures for Polynomials (Extended Abstract)
Leonard M. Adleman, Kenneth L. Manders
1975Correct Computation Rules for Recursive Languages (Extended Abstract)
Peter J. Downey, Ravi Sethi
1975Decidability of Equivalence, Containment, Intersection, and Separability of Context-Free Languages (Extended Abstract)
Harry B. Hunt III, J. L. Rangel
1975Economy of Descriptions by Parsers, DPDA's, and PDA's
Matthew M. Geller, Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
1975Evaluating Relational Expressions with Dense and Sparse Arguments
Thomas G. Szymanski, Jeffrey D. Ullman
1975Fast Parallel Matrix Inversion Algorithms
L. Csanky
1975Flow of Control in the Proof Theory of Structured Programming
J. W. de Bakker
1975Information Theory and the Complexity of Switching Networks (Preliminary Version)
Nicholas Pippenger
1975Minimean Optimality in Sorting Algorithms
Ira Pohl
1975On Time versus Space and Related Problems
John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant
1975On the Complexity of Comparison Problems using Linear Functions (Preliminary Report)
Andrew Chi-Chih Yao
1975On the Complexity of Timetable and Multi-Commodity Flow Problems
Shimon Even, Alon Itai, Adi Shamir
1975On the Decision Tree Complexity of the Shortest Path Problems
Michael L. Fredman
1975Parallel Computations in Graph Theory
Eshrat Arjomandi, Derek G. Corneil
1975Polynomials with 0-1 Coefficients that Are Hard to Evaluate
Richard J. Lipton
1975Preserving Order in a Forest in less than Logarithmic Time
Peter van Emde Boas
1975Synchronization and Computing Capabilities of Linear Asynchronous Structures
Richard J. Lipton, Raymond E. Miller, Lawrence Snyder
1975The Effect of Basis on Size of Boolean Expressions
Vaughan R. Pratt
1975The Effect of the Field of Constants on the Number of Multiplication
Shmuel Winograd
1975The Exact Time Required to Perform Generalized Addition
Robert W. Floyd