Technical Reports
1980
The CHEF Editor
SGMC (Simulation of a General-purpose Micro-programmable Computer) User Manual
Stiff Stability Considerations for Implicit Runge-Kutta Methods
Reformulation of Boundary Value Problems in ``Standard'' Form
Automating Physical Reorganizational Requirements at the Access Path Level of a Relational Database System
On the Covering Relaxation Approach for the 0-1 Positive Polynomial Programming Problem
Optimal Load Control in Combined Batch-Interactive Computer Systems
On the Integrity of Typed First Order Data Bases
Some Representational Issues in Default Reasoning
A Spline Least Squares Method for Numerical Parameter Estimation in Differential Equations
Why Is a Goto Like a Dynamic Vector in the BCPL-Slim Computing System?
Automatic Rectification of Landsat Images Using Features Derived from Digital Terrain Models