1965

13 references published this year.

A Briefing on the Distributed Adaptive Message-Block Network
Paul Baran (1965)
Solution of a problem in concurrent programming control
Edsger W. Dijkstra (1965) · Communications of the ACM · Association for Computing Machinery
ELEMENTARY THEORIES
Yu. L. Ershov and others (1965) · Steklov Mathematical Institute
Mathematical Logic
R. L. Goodstein (1965) · Leicester University Press
The use of lasers to simulate radiation-induced transients in semiconductor devices and circuits
Donald H Habing (1965) · IEEE Transactions on Nuclear Science
Three approaches to the quantitative definition of information
A. N. Kolmogorov (1965) · Problems of Information Transmission
Semantical Analysis of Intuitionistic Logic I
Saul A. Kripke (1965) · Studies in logic and the foundations of mathematics · Elsevier BV
Problems in Man-Computer Communications
J. C. R. Licklider (1965) · Communication Processes · Elsevier
Cramming more components onto integrated circuits
Gordon E. Moore (1965) · Electronics
The Possibility of Planning Languages in Man-Computer Communication
Allen Newell (1965) · Communication Processes · Pergamon Press
Natural Deduction: A Proof-Theoretical Study
Dag Prawitz (1965) · Almqvist and Wiksell
A Machine-Oriented Logic Based on the Resolution Principle
John A. Robinson (1965) · Journal of the ACM · Association for Computing Machinery
Eficient continuous optical second-harmonic generation
RG Smith and others (1965) · Applied Physics Letters