Automatic Extension of an ATN Knowledge Base.
A User-Friendly Algorithm.
Comments on Price/Performance Patterns of U.S. Computer Systems.
Comparison of Synonym Handling and Bucket Organization Methods.
An On-Line Algorithm for Fitting Straight Lines Between Data Ranges.
The Cornell Program Synthesizer: A Syntax-Directed Programming Environment.
On Sharing Secrets and Reed-Solomon Codes.
Shuffle Languages, Petri Nets, and Context-Sensitive Grammars.
An Abstract Programming Model.