YALEU/DCS/TR062 * AMPL: A Programming Language for Manuscript Preparation Systems (Available only from
Sustman University Microfilms)
1976
YALEU/DCS/TR063 [.pdf] The Reachability Problem Requires Exponential Space
Richard J. Lipton
1976
YALEU/DCS/TR064 [.pdf] On the Complexity of Resource Managers
Lawrence Snyder
Richard J. Lipton
1976
YALEU/DCS/TR065 [.pdf] Secure Data Bases: Protection Against User Inference
David Dobkin
Jones
Richard J. Lipton
1976
YALEU/DCS/TR066 [.pdf] Polynomials With 0-1 Coefficients That Are Hard to Evaluate
Richard J. Lipton
1976
YALEU/DCS/TR067 [.pdf] Even Data Bases that Lie can be Compromised
DeMillo
David Dobkin
Richard J. Lipton
1976
YALEU/DCS/TR068 [.pdf] On the GEM System: A Progress Report
Edgar Irons
1976
YALEU/DCS/TR069 * On the Complexity of Linear Programming
Steven P. Reiss
David Dobkin
1976
YALEU/DCS/TR070 [.pdf] A Lower Bound of 1/2n2 on Linear Search Programs for the Knapsack Problem
David Dobkin
Richard J. Lipton
1976
YALEU/DCS/TR071 [.pdf] Excursions into Geometry
Dobkin
Lipton
Reiss
1976
YALEU/DCS/TR072 [.pdf] A Linear Time Algorithm for Deciding Subject Security
Richard J. Lipton
Snyder
1976
YALEU/DCS/TR073 * A Machine Design for Efficient Implementation of APL (Duplicate of #81.)
Minter
1976
YALEU/DCS/TR074 * The Metanovel
James Meehan
September 1976
YALEU/DCS/TR075 [.pdf] The Definition Mechanism for Standard PL/I
Michael Marcotty
Frederick G. Sayward
1976
YALEU/DCS/TR076 * A Linear Time Algorithm for Deciding Subject-Object Security (Extension of #72.)
Lipton
Snyder
1976
YALEU/DCS/TR077 [.pdf] Security in Data Bases: A Combinational Study
Steven P. Reiss
1976
YALEU/DCS/TR078 * Comprehension by Computer: Expectation-based Analysis of Sentences in Context
Reisbeck
Roger Schank
October 1976
YALEU/DCS/TR079 [.pdf] New Lower Bounds for Median and Other Related Problems
Chee-Keng Yap
1976
YALEU/DCS/TR080 * Pattern Matching and Inference in a Story- understanding System
Cullingford
Stutzman
1976
YALEU/DCS/TR081 [.pdf] A Machine Design for Efficient Implementation of A.P.L.
Charles Russell Minter
1976
YALEU/DCS/TR082 [.pdf] Social Processes and Proofs of Theorems and Programs
Richard A. DeMillo
Richard J. Lipton
Alan J. Perlis
1976
YALEU/DCS/TR083 * On the Optimality of the Rayleigh-Ritz Approximation
Stanley Eisenstat
Schrieber
Martin Schultz
December 1976