perm filename SUZ[USE,CSR] blob sn#353379 filedate 1978-05-09 generic text, type C, neo UTF8
C00001 00001
C00002 00002	\!CSR(637)
C00007 ENDMK
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.

Yao, A. "On Constructing Minimum Spanning Trees in k-dimensional Spaces
and Related Problems," November 1977.

Tanabe, K.  "A Geometric Method in Nonlinear Programming,"
December 1977.

Mont-Raynaud, B.  "Hierarchical Properties of Flows and the Determination 
of Inner Loops," December 1977.

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.

Yao, A.  "A Lower Bound to Palindrome Recognition by Probabilistic 
Turning Machines," December 1977.

Knuth, D.E.  "Mathematical Typography,"  January 1978.

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

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.

Shiloach, Y  "Multi-Termianl 0-1 Flow,"  March 1978.

Shiloach, Y  "The Two Paths Problem is Polynomial,"  March 1978.

Dahlquist, G.  "On Accuracy and Unconditional Stability of Linear
Multistep Methods for Second Order Differential Equations,"
March 1978.

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.

Gilbert, J. & Tarjan, R.  "Variations of a Pebble Game on Graph,"
May 1978.

Yao, A.  "New Algorithms in Bin Packing,"  May 1978.

Grosse, E.  "Software Restyling in Graphics and Programming Languages,"
May 1978.

Bjorstad, P & Nocedal, J.  "Analysis of a New Algorithm for 
One-Dimensional Minimization,"  May 1978.