perm filename BIND[BIB,CSR]1 blob sn#371037 filedate 1978-08-03 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "lstcmd[bib,csr]" source file
C00003 00003	.begin center
C00008 00004
C00027 ENDMK
CāŠ—;
.require "lstcmd[bib,csr]" source file;
.font 5 "NGR40L";
.select 5
.
.macro bi; āŠ‚
.indent 0,12,0;
.turn on "\"; tabs 13;
. āŠƒ
.
.begin center
COMPUTER SCIENCE DEPARTMENT
CS REPORTS 554-557
VOL. 80
.end
.skip 2
.begin bi
553\Complexity of Monotone Networks for Computing Conjunctions by R.E. Tarjan

554\Modeling the Write Behavior of Computer Programs (thesis) by F.S. Yu

555\Monte Carlo Simulation in Discrete Parts Manufacturing & Assembly (AIM-280)
by D.D. Grossman

556\The Analysis of Hashing Algorithms (thesis) by L.J. Guibas

557\An Introduction to Boolean Function Complexity by M.S. Paterson
.end
.next page
.begin center
COMPUTER SCIENCE DEPARTMENT
CS REPORTS 651-658
VOL. 97
.end
.skip 2
.begin bi
651\Proving Termination with Multiset Orderings (AIM-310) by Nachum Dershowitz
& Zohar Manna

652\Simplification by Cooperating Decision Procedures (AIM-311) by
Gregg Nelson & Derek C. Oppen

653\Multi-Terminal O-1 Flow by Yossi Shiloach

654\The Two Paths Problem is Polynomial by Yossi Shiloach

655\On Accuracy & Unconditional Stability of Linear Multistep Methods for
Second Order Differential Equations by Germund Dahlquist

656\Numerical Algorihms for Nonlinearly Constrained Optimization (thesis)
by Michael Thomas Heath

657\On the Model Theory of Knowledge (AIM-312) by
John McCarthy, Masahiko Sato, Takeshi Hayashi & Shigeru Igarashi

658\Analysis & Performance of Computer Instruction Sets (SLAC-205) by
Leonard Jay Shustek
.end
.next page
.begin center
COMPUTER SCIENCE DEPARTMENT
CS REPORTS 659-
VOL. 98
.end
.skip 2
.begin bi