Box 5
Container
Contains 73 Results:
SIAM Journal on Computing--Sugiyama, et al.--Complexity of the Deadlock Avoidance Problem [ANH], January 11, 1978
File — Box: 5, Folder: 291
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
January 11, 1978
SIAM Journal on Computing--Flon and Suzuki--Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs, November 8, 1978
File — Box: 5, Folder: 293
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
November 8, 1978
SIAM Journal on Computing--Gold--Deadlock Prediction, March 10, 1978
File — Box: 5, Folder: 292
Scope and Contents
From the Series:
The office files contained folder sets representing Habermann's oversight of collegial reviews (or refereeing ) of papers for publication and, frequently, non-publication in computer science journals. The Editorial series arranges Habermann's assigning, to topic-expert colleagues, of paper reviews for ACTA Informatica, TOPLAS (Transactions on Programming Languages and Systems, organ of ACM, the Association for Computing Machinery), Communications of the ACM, Information Processing...
Dates:
March 10, 1978