Skip to main content

Archives at Cornell

Box 4

 Container

Contains 131 Results:

The Schorr-Wate Graph Making Algorithm, 1979

 File — Box: 4 , Folder: 61
Dates: 1979
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Cand and Cor before and then and or else in ADA, 1979-11

 File — Box: 4 , Folder: 62
Dates: 1979-11
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Application for a Study Leave, 1979-11

 File — Box: 4 , Folder: 63
Dates: 1979-11
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Report on a Possible Axiomatization of Edison, 1979-04

 File — Box: 4 , Folder: 64
Dates: 1979-04
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Yet Another Exercise: Using Two Shared Variables in Two Processes to Provide Starvation-Free Mutual Exclusion, 1979

 File — Box: 4 , Folder: 65
Dates: 1979
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Is Sometime Ever Better Than Always?, 1978-10 - 1979-10

 File — Box: 4 , Folder: 66
Dates: 1978-10 - 1979-10
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Controlled Density Sorting, 1980-07

 File — Box: 4 , Folder: 67
Dates: 1980-07
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Assignment and procedure Call Proof Rules, 1980-10

 File — Box: 4 , Folder: 68
Dates: 1980-10
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Computing Fibonacci Numbers (And Similarly Defined Functions) in Log Time, 1980-10

 File — Box: 4 , Folder: 69
Dates: 1980-10
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Computer Literacy at Cornell, 1980-12-13

 File — Box: 4 , Folder: 70
Dates: 1980-12-13
Found in: Division of Rare and Manuscript Collections / 16-13-4524, David Gries papers / Series II. Publications / Subseries IIb. Articles, lectures, and reports

Staff Interface | Visit ArchivesSpace.org | v3.3.1 | Send Feedback or Report a Problem