1969
21 references published this year.
Design of Asynchronous Circuits Assuming Unbounded Gate Delays
D. B. Armstrong and others (1969) · IEEE Transactions on Computers · Institute of Electrical and Electronics Engineers
A note on reliable full-duplex transmission over half-duplex links
Keith A. Bartlett and others (1969) · Communications of the ACM · Association for Computing Machinery
A Note on Affinity Groups
Murray Bookchin (1969)
Solving Sequential Conditions by Finite-State Strategies
J.R. Büchi and others (1969) · JSTOR
Proving Properties of Programs by Structural Induction
Rod M. Burstall (1969) · The Computer Journal · Oxford University Press
On the Simplicity and Speed of Programs for Computing Infinite Sets of Natural Numbers
Gregory J. Chaitin (1969) · Journal of the ACM · Association for Computing Machinery
Communications Computer Language COMTRAN
David W. Clark and others (1969)
Proposed Experiment to Test Local Hidden-Variable Theories
John F Clauser and others (1969) · American Physical Society (APS)
Host Software
Steve Crocker (1969) · RFC Editor
The principal type-scheme of an object in combinatory logic
R. Hindley (1969) · Transactions of the American Mathematical Society · American Mathematical Society
An axiomatic basis for computer programming
C. A. R. Hoare (1969) · Communications of the ACM · Association for Computing Machinery
Adjointness in Foundations
F. William Lawvere (1969) · dialectica · Wiley
Secret Communication among the Greeks and Romans
Albert C. Leighton (1969) · Technology and Culture · Johns Hopkins University Press
Mathematical Logic and Hilbert’s ε-Symbol
A.C. Leisenring (1969) · Macdonald & Co.
The correctness of programs
Zohar Manna (1969) · Journal of Computer and System Sciences · Elsevier BV
Some Philosophical Problems from the Standpoint of Artificial Intelligence
John Mccarthy and others (1969) · In: Machine Intelligence, Edinburgh University Press, pp
Software Engineering: Report on a Conference Sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968
Peter Naur and others (1969) · Scientific Affairs Division, NATO
Ultra High-Speed Data Modem
Wilford R. Poe and others (1969)
Decidability of Second-Order Theories and Automata on Infinite Trees
Michael O. Rabin (1969) · Transactions of the American Mathematical Society · JSTOR
A type-theoretical alternative to CUCH, ISWIM, OWHY
D. S. Scott (1969)
Asynchronous Sequential Switching Circuits
S. H. Unger (1969) · Wiley-Interscience