1961
12 references published this year.
An application of games to the completeness problem for formalized theories
Andrzej Ehrenfeucht (1961) · Fundamenta Mathematicae · Institute of Mathematics, Polish Academy of Sciences
Dynamic storage allocation in the Atlas computer, including an automatic use of a backing store
John Fotheringham (1961) · Association for Computing Machinery (ACM)
Algorithm 65: find
C. A. R. Hoare (1961) · Communications of the ACM · Association for Computing Machinery
Planar silicon diodes and transistors
J. A. Hoerni (1961) · IRE Transactions on Electron Devices · Institute of Electrical and Electronics Engineers
The Manchester University Atlas Operating System Part I: Internal Organization
T. Kilburn and others (1961) · Oxford University Press (OUP)
Information flow in large communication nets
L. Kleinrock (1961) · RLE Quarterly Progress Report
Ultraproducts in the theory of models
Simon Kochen (1961) · Annals of Mathematics
Irreversibility and Heat Generation in the Computing Process
Rolf Landauer (1961) · IBM Journal of Research and Development · IBM
The State Variable Assignment Problem for Asynchronous Sequential Switching Circuits
Chao-Ning Liu (1961)
Design of the B5000 system
William Lonergan and others (1961) · Datamation
Constructive algebras I
A. I. Mal'cev (1961) · Russian Mathematical Surveys
Semiconductor Device-and-Lead Structure
Robert N. Noyce (1961) · United States Patent and Trademark Office