perm filename SUZ[USE,CSR] blob sn#353379 filedate 1978-05-09 generic text, type C, neo UTF8

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.