COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\!CSR(637)
C00007 ENDMK
C⊗;
\!CSR(637);
Ramshaw, L., "On the Gap Structure of Sequences of Points on a Circle,
September l977.

\!CSR(638,SU326 P30-37);
O'Leary, D.  "A Generalized Conjugate Gradient Algorithm for Solving
a Class of Quadratic Programming Problems,"  October l977.

\!CSR(639,AIM 306);
Green, C & Barstow, D.  "On Program Synthesis Knowledge," 
November l977

\!CSR(640,AIM 307);
Manna, Z. & Waldinger, R.  "Structured Programming With Recursion,"
November 1977.

\!CSR(641, AIM 308);
Barstow, D. "Automatic Construction of Algorithm and Data Structures,"
November l977.

\!CSR(641);
Yao, A. "On Constructing Minimum Spanning Trees in k-dimensional Spaces
and Related Problems," November 1977.

\!CSR(643);
Tanabe, K.  "A Geometric Method in Nonlinear Programming,"
December 1977.

\!CSR(644);
Mont-Raynaud, B.  "Hierarchical Properties of Flows and the Determination 
of Inner Loops," December 1977.

\!CSR(645);
Lipton, R.J., Rose, D.J. & Tarjan, R.E. "Generalized Newted Dissection,"
December 1977.

\!CSR(646, AIM 309);
Nelson, G. & Oppen, D.  "Efficient Decision Procedures Based on Congruence
Closure," December 1977.

\!CSR(647);
Yao, A.  "A Lower Bound to Palindrome Recognition by Probabilistic 
Turning Machines," December 1977.

\!CSR(648);
Knuth, D.E.  "Mathematical Typography,"  January 1978.

\!CSR(649, HPP-78-1);
Buchanan, B & Feigenbaum  "DENDRAL and Meta-DENDRAL: Their Applications
Dimension,"  January 1978.

\!CSR(650);
Lengaue T. & Tarjan, R.  "A Fast Algorithm for Finding Dominators in a
Flow Graph,"  February 1978.

\!CSR(651, AIM 310);
Dershowitz, N & Manna, Z  "Proving Termination with Multiset Orderings,"
February 1978.

\!CSR(652, AIM 311);
Nelson G. & Oppen D.  "A Simplifier Based on Efficeint Decision 
Algorithms,"  February 1978.

\!CSR(653);
Shiloach, Y  "Multi-Termianl 0-1 Flow,"  March 1978.

\!CSR(654);
Shiloach, Y  "The Two Paths Problem is Polynomial,"  March 1978.

\!CSR(655);
Dahlquist, G.  "On Accuracy and Unconditional Stability of Linear
Multistep Methods for Second Order Differential Equations,"
March 1978.

\!CSR(656);
Heath, M.  "Numerical Algorithm for Nonlinearly Constrained 
Optimization,"  March 1978.

\!CSR(657, AIM 312);
Mc Carthy, Sato, M, Hayashi, T. & Igarashi, S.  "On the Model Theory 
of Knowledge,"  April 1978.

\!CSR(658, SLAC 205);
Shustek, L.J.  "Analysis and Performance of Computer Instruction
Sets,"  April 1978.

\!CSR(659, SLAC 206);
Zolnowsky, J.  "Topics in Computational Geometry,"  April 1978.

\!CSR(660, AIM 313);
Shimano, B  "The Kinematic Design and Force Control of Computer
Controlled Manipulators,"  March 1978.

\!CSR(661);
Gilbert, J. & Tarjan, R.  "Variations of a Pebble Game on Graph,"
May 1978.

\!CSR(662);
Yao, A.  "New Algorithms in Bin Packing,"  May 1978.

\!CSR(663);
Grosse, E.  "Software Restyling in Graphics and Programming Languages,"
May 1978.

\!CSR(664);
Bjorstad, P & Nocedal, J.  "Analysis of a New Algorithm for 
One-Dimensional Minimization,"  May 1978.