Box 4
Container
Contains 131 Results:
Inverting a Permutation, 1983
File — Box: 4 , Folder: 86
A first draft of a notation for expressions over the types bag, set, relation, function, list, integer, boolean, 1984-02
File — Box: 4 , Folder: 87
General Correctness: A Unification of Partial and Total Correctness, 1985
File — Box: 4 , Folder: 88
A New Notation of Encapsulation, 1985
File — Box: 4 , Folder: 90
Meeting the Basic-Research Needs of Computer Science, 1986-12-16
File — Box: 4 , Folder: 91
Dates:
1986-12-16
A model and temporal proof system for networks of processes, 1986
File — Box: 4 , Folder: 92
David Gries on the Crisis in Academic Computer Science, 1986
File — Box: 4 , Folder: 93
Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding, 1986-09
File — Box: 4 , Folder: 94
The 1984-1985 Taulbee Survey, 1986-10
File — Box: 4 , Folder: 95