1973
9 references published this year.
Logical Reversibility of Computation
C. H. Bennett (1973) · IBM Journal of Research and Development · IBM
Model existence theorems for modal and intuitionistic logics
Melvin Fitting (1973) · The Journal of Symbolic Logic · Cambridge University Press
The Sociology of Black Separatism
Dennis Forsythe (1973) · American Sociological Association Annual Meeting
Foundations of set theory
Abraham Adolf Fraenkel and others (1973) · Elsevier
Selected Works of Giuseppe Peano
Hubert C. Kennedy (1973) · University of Toronto Press
Correctness of programs manipulating data structures
Tomasz Kowaltowski (1973) · University of California, Berkeley
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
Types are not sets
James H. Morris (1973) · 1st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · Association for Computing Machinery
Presentation and major design aspects of the CYCLADES computer network
Louis Pouzin (1973) · Proceedings of the Third ACM Symposium on Data Communications and Data Networks: Analysis and Design (DATACOMM '73) · Association for Computing Machinery