YALEU/DCS/TR024 [.pdf] Steps Toward an APL Compiler
Allen Perlis
1974
YALEU/DCS/TR025 [.pdf] On Some Generalizations of Binary Search
David Dobkin
R.J. Lipton
1974
YALEU/DCS/TR026 [.pdf] Limitations of Synchronization Primitives
R.J. Lipton
1974
YALEU/DCS/TR027 [.pdf] The Application of Sparse Matrix Methods to the Solution of Nonlinear Elliptic Partial Differential
Stanley Eisenstat
Martin Schultz
A.H. Sherman
1974
YALEU/DCS/TR028 [.pdf] A Comparative Analysis of the Cuthill-McKee and Reverse Cuthill-McKee Ordering Algorithms for Sparse Matrices
Wai-Hung Liu
A.H. Sherman
1974
YALEU/DCS/TR029 [.pdf] A Real-Time Algorithm for Least Square Splines and its Application in Computer-Aided Geometric Design
Stanley Eisenstat
John Lewis
Martin Schultz
May 1975
YALEU/DCS/TR030 * Reduction: A New Method of Proving Properties of Systems (Revised+ see #40.)
R.J. Lipton
1974
YALEU/DCS/TR031 * Limitations of Synchronization Primitives
R.J. Lipton
1974
YALEU/DCS/TR032 [.pdf] Translational Lemmas, Polynomial Time and (log n)-space
Ronald V. Book
1974
YALEU/DCS/TR033 [.pdf] On the Chomsky-Schutzenberger Theorem
Ronald V. Book
1974
YALEU/DCS/TR034 [.pdf] Multidimensional Searching Problems
David Dobkin
R.J. Lipton
1974
YALEU/DCS/TR035 [.pdf] Subroutines for Envelope Solution of Sparse Linear Systems
Stanley Eisenstat
A.H. Sherman
October 1974
YALEU/DCS/TR036 * A Model for Natural Language Semantics
Hobbs
1974
YALEU/DCS/TR037 [.pdf] On the Optimal Parsing of Speech
R.J. Lipton
Snyder
1974
YALEU/DCS/TR038 [.pdf] Complexity Measures and Hierarchies for the Evaluation of Integers, Polynomials, and N-linear Forms
R.J. Lipton
David Dobkin
1974