COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.once center
C00014 ENDMK
C⊗;
.DEVICE XGP;
.SINGLESCRIPT
.SPACING 10*5 MILLS;
.PAGE FRAME 48 HIGH 80 WIDE
.TITLE AREA HEADING LINES 1 TO 3
.AREA TEXT LINES 4 TO 48
.
.turn on "↔" for "→"
.turn on "%,π,α,#,&,∂,↑,↓,[,]"
.turn on "∩" for "↑"
.turn on "∪" for "↓"
.font 1 "ngr25"; <<regular text>>
.font 2 "baxm30"; <<italic text>>
.font 3 "nonlb"; <<bold face text>>
.font 4 "sail25"; <<typewriter font>>
.font 5 "fix25"; <<fixed width>>
.font 6 "math30"; <<mathematical symbols>>
.font 7 "ngb40"; <<cover>>
.font A "grkl30"; <<greek>>
.SELECT 1
.
.AT 8 ⊂ONCE INDENT 5;⊃
.at "@" ⊂"####"⊃
.at "-" ⊂"%5α-%*"⊃
.at "=" ⊂"%5α=%*"⊃
.at "<" ⊂"%5α<%*"⊃
.at ">" ⊂"%5α>%*"⊃
.at "<=>" ⊂"%5α<α=α>%*"⊃
.at "=>" ⊂"%5α=α>%*"⊃
.at "<=" ⊂"%5α<α=%*"⊃
.at "⊗" ⊂"%6αO%*"⊃
.at "*" ⊂"%5α*%*"⊃
.at "+" ⊂"%5α+%*"⊃
.
.macro bf; ⊂
.nofill;
.turn on "\"
. ⊃
.
.macro bi; ⊂
.nofill;
.turn on "\";
. ⊃
.
.PLACE TEXT;
.
.NEXT PAGE
.every heading (%3Computer Science,,Bibliography Supplement%*)
.once center
%3Reports Announced During 1979%1
.skip
.begin indent 0,10,0
STAN-CS-79-701, , , Mitch L Model (Thesis),
%2Monitoring System Behavior in a Complex Computational Environment%1,
189 pages, January 1979.  

STAN-CS-79-702, , , Yossi Shiloach,
%2An O(n|cdIlog↑2I) Maximum-Flow Algorithm%1,
33 pages, January 1979.  

STAN-CS-79-703, , AD-A068 228, Bengt Aspval and Yossi Shiloach,
%2A Polynomial Time Algorithm for Solving Systems of Linear Inequalities With
Two Variables Per Inequality%1,
25 pages, January 1979.  

STAN-CS-79-704, , AD-A068 232, Roland A. Sweet,
%2A Survey of the State of Software for Partial Differential Equations%1,
31 pages, January 1979.  

STAN-CS-79-705, , , Robert Lewis (Scot) Drysdale, III (Thesis),
%2Generalized Voronoi Diagrams and Geometric Searching%1,
196 pages, January 1979.  

STAN-CS-79-706, , , F. Francis Yao,
%2Graph 2-Isomorphism is NP-Complete%1,
12 pages, January 1979.  

STAN-CS-79-707, , , Chris Van Wyk and Donald E. Knuth,
%2A Programming and Problem-Solving Seminar%1,
83 pages, January 1979.  

STAN-CS-79-708, , , Andrew C. Yao,
%2An Analysis of a Memory Allocation Scheme for Implementing Stacks%1,
18 pages, January 1979.  

STAN-CS-78-709, , AD-A068 231, Mark R. Brown and Robert E. Tarjan,
%2Design and Analysis of a Data Structure for Representing Sorted Lines%1,
50 pages, December 1978.  

STAN-CS-79-710, , AD-A068 210, Lloyd Trefethen,
%2Numerical Computation of the Schwarz-Christoffel Transformation%1,
42 pages, 1979.  

STAN-CS-78-711, , , Tom Michael Mitchell (Thesis),
%2Version Spaces:  An Approach to Concept Learning%1,
216 pages, December 1978.  

STAN-CS-79-712, , AD-A068 393, Donald E. Knuth,
%2The Errata of Computer Programming%1,
58 pages, January 1979.  

STAN-CS-79-713, , , Gene Golub, Stephen Nash and Charles Van Loan,
%2A Hessenberg-Schur Method for the Problem AX + XB = C%1,
50 pages, January 1979.  

STAN-CS-79-714, CSL TN-160, , Fernando Castaneda, Frederick Chow, Peter Nye,
Dan Sleator and Gio Wiederhold,
%2PCFORT:  A Fortran-to-Pcode Translator%1,
January 1979.

STAN-CS-79-715, CSL TN-161, , Brent T. Hailpern and Bruce L. Hitson,
%2S-1 Architecture Manual%1,
January 1979.

STAN-CS-79-716, AIM-322, , Michael Georgeff,
%2A Framework for Control in Production Systems%1,
35 pages, January 1979.  

STAN-CS-79-717, AIM-324, , Robert Cartwright and John McCarthy,
%2Recursive Programs as Functions in a First Order Theory%1,
32 pages, March 1979.  

STAN-CS-79-718, AIM-323, , Shahid Mujtaba and Ron Goldman,
%2AL Users' Manual%1,
136 pages, January 1979.  

STAN-CS-79-719, , , Petter Bj%6O%1rstad, Germund Dahlquist and Eric Grosse,
%2Extrapolation of Asymptotic Expansions by a Modified Aitken %Ad%2↑2-Formula%1,
54 pages, February 1979.  

STAN-CS-79-720, , , R. Glowinski,
%2 On Grid Optimization for Boundary Value Problems%1,
22 pages, February 1979.  

STAN-CS-79-721, , , Andrew C. Yao and F. Frances Yao,
%2On Fault-Tolerant Networks for Sorting%1,
20 pages, February 1979.  

STAN-CS-79-722, , , Gio Wiederhold and Ramez El-Masri,
%2A Structural Model for Database Systems%1
57 pages, March 1979.  

STAN-CS-79-723, , , Edward H. Shortliffe, Bruce G. Buchanan and Edward A. Feigenbaum,
%2Knowledge Engineering for Medical Decision Making:  a review of computer-based
clinical decision aids%1,
52 pages, February 1979.  

STAN-CS-79-724, AIM-325, , John McCarthy,
%2First Order Theories of Individual Concepts and Propositions%1,
19 pages, March 1979.  

STAN-CS-79-725, AIM-326, , John McCarthy,
%2Ascribing Mental Qualities to Machines%1,
25 pages, March 1979.  

STAN-CS-79-726, , , Andrew Chi-Chih Yao,
%2An Analysis of (h,k,l)-Shellsort%1,
55 pages, March 1979.  

STAN-CS-79-727, AIM-327, , Robert Elliot Filman (Thesis),
%2The Interaction of Observation and Inference%1,
235 pages, March 1979.  

STAN-CS-79-728, , , Yossi Shiloach,
%2Union-Member Algorithms for Non-Disjoint Sets%1,
12 pages, January 1979.  

STAN-CS-79-729, , AD-A068 229, Robert Endre Tarjan,
%2 A Unified Approach to Path Problems%1,
43 pages, April 1979.  

STAN-CS-79-730, , , Frank M. Liang,
%2Qualifying Examinations in Computer Science, 1965-1978%1,
238 pages.  

STAN-CS-79-731, P.V. α#11, ,
D.C. Luckham, S.M. German F.W. von Henke, R.A. Karp, P.W. Milne, D.C. Oppen,
W. Polak, and W.L. Scherlis,
%2Stanford PASCAL Verifier User Manual%1,
April 1979.

STAN-CS-79-732, , , Donald R. Woods,
%2Notes on Introductory Combinatorics%1,
120 pages, April 1979.

STAN-CS-79-733, , , Andrew Chi-Chih Yao,
%2A Lower Bound to Finding Convex Hulls%1,
22 pages, April 1979.  

STAN-CS-79-734, , , Robert Endre Tarjan,
%2Fast Algorithms for Solving Path Problems%1,
49 pages, April 1979.  

STAN-CS-79-735, , , J. H. Wilkinson,
%2Kronecker's Canonical Form and the QZ Algorithm%1,
23 pages, April 1979.

STAN-CS-79-736, , , J. H. Wilkinson,
%2Note on the Practical Significance of the Drazin Inverse%1,
20 pages, April 1979.

STAN-CS-79-737, , , Andrew C. Yao and F. Frances Yao,
%2On the Average-case Complexity of Selecting the k-th Best%1,
45 pages, April 1979.

STAN-CS-79-738, SU326 P30-65, , Randall LeVeque, Germund Dahlquist
and Dan Andree,
%2Computations Related to G-Stability of Linear Multistep Methods%1,
27 pages, May 1979.

STAN-CS-79-739, HPP-79-14, , J. R. Quinlan,
%2Induction Over Large Data Bases%1,
19 pages, May 1979.

STAN-CS-79-740, P.V. α# , , R. S. Cartwright and D. C. Oppen,
%2The Logic of Aliasing%1,
24 pages, May 1979.

STAN-CS-79-741, , , Lyle Harold Ramshaw (Thesis),
%2Formalizing the Analysis of Algorithms%1,
123 pages, June 1979.

STAN-CS-79-742, HPP-79-12, , Anne Gardner,
%2Handbook of Artificial Intelligence:  Search%1,
100 pages, June l979.

.end
.NEXT PAGE