STOC A*

31 papers

YearTitle / Authors
1973An Observation on Time-Storage Trade Off
Stephen A. Cook
1973An Unusual Application of Program-Proving
Mitchell Wand
1973Analysis of Algorithms, a Case Study: Determinants of Polynomials
W. Morven Gentleman, Stephen C. Johnson
1973Analysis of Structured Programs
S. Rao Kosaraju
1973Approximation Algorithms for Combinatorial Problems
David S. Johnson
1973Attributed Translations
Philip M. Lewis II, Daniel J. Rosenkrantz, Richard Edwin Stearns
1973Classes of Semigroups and Classes of Sets
Samuel Eilenberg
1973Complete Register Allocation Problems
Ravi Sethi
1973Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues
Vaughan R. Pratt
1973Context-Free Error Analysis by Evaluation of Algebraic Power Series
Ray Teitelbaum
1973Correct and Optimal Implementations of Recursion in a Simple Programming Language
Jean Vuillemin
1973Duality Applied to the Complexity of Matrix Multiplications and other Bilinear Forms
John E. Hopcroft, Jean E. Musinski
1973Elementary Bounds for Presburger Arithmetic
Derek C. Oppen
1973Fast Computation of GCDs
Robert T. Moenck
1973Fast On-Line Integer Multiplication
Michael J. Fischer, Larry J. Stockmeyer
1973From Algebras to Programming Languages
Eric G. Wagner
1973Jump PDA's, Deterministic Context-Free Languages Principal AFDLs and Polynomial Time Recognition-Extended Abstract
Sheila A. Greibach
1973Neighborhood Search Algorithms for Finding Optimal Traveling Salesman Tours Must Be Inefficient
Peter Weiner, Sam L. Savage, A. Bagchi
1973On Finding Lowest Common Ancestors in Trees
Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman
1973On the Optimal Evaluation of a Set of Bilinear Forms
Roger W. Brockett, David P. Dobkin
1973On the Time and Tape Complexity of Languages I
Harry B. Hunt III
1973Polynomial Time Reducibility
Richard E. Ladner
1973Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA
Alfred V. Aho, Allan Borodin, Robert L. Constable, Robert W. Floyd, Michael A. Harrison, Richard M. Karp, H. Raymond Strong
1973Sets that Don't Help
Nancy A. Lynch, Albert R. Meyer, Michael J. Fischer
1973Testing Flow Graph Reducibility
Robert Endre Tarjan
1973The Computational Complexity of Algebraic Numbers
H. T. Kung
1973The Lane Tracing Algorithm for Constructing LR(k) Parsers
David Pager
1973Toward Mechanical Verification of Properties of Roundoff Error Propagation
Webb Miller
1973Tree Transductions and Families of Tree Languges
Brenda S. Baker
1973Type Two Computational Complexity
Robert L. Constable
1973Word Problems Requiring Exponential Time: Preliminary Report
Larry J. Stockmeyer, Albert R. Meyer