Box 4
Container
Contains 131 Results:
Towards a New Programming Language and Environment, 1986-09
File — Box: 4 , Folder: 96
An Algorithm for Transitive Reduction of an Acyclic Graph, 1986-06
File — Box: 4 , Folder: 97
TR 86-789Generating a Random Cyclic Permutation, 1986-09
File — Box: 4 , Folder: 98
In-situ permutation - proof of correctness, 1986
File — Box: 4 , Folder: 100
A hands-in-the-pocket presentation of a k-majority vote algorithm, 1987-11
File — Box: 4 , Folder: 101
Abstract Data Types, 1987-04
File — Box: 4 , Folder: 102
TR 87-865 Complete, Trace-based Network Proof Systems: An Advisor's Perspective, 1987-08
File — Box: 4 , Folder: 103
A Proof Concerning Rings, 1987-09
File — Box: 4 , Folder: 104