1971
8 references published this year.
The complexity of theorem-proving procedures
Stephen A. Cook (1971) · Proceedings of the Third Annual ACM Symposium on Theory of Computing · Association for Computing Machinery
Proof of a Recursive Program: Quicksort
M. Foley and others (1971) · The Computer Journal
Procedures and parameters: An axiomatic approach
C. A. R. Hoare (1971) · Symposium on Semantics of Algorithmic Languages
Proof of a Program: FIND
C. A. R. Hoare (1971) · Communications of the ACM · Association for Computing Machinery
Introduction to metamathematics
Stephen Cole Kleene (1971) · Wolters-Noordhoff
On a Pin Versus Block Relationship For Partitions of Logic Graphs
B. S. Landman and others (1971) · IEEE Transactions on Computers · IEEE
Toward a Mathematical Semantics for Computer Languages
Dana Scott and others (1971) · Proceedings of the Symposium on Computers and Automata · Polytechnic Press
TYMNET: A terminal oriented communication network
La Roy Tymes (1971) · Proceedings of the May 18-20, 1971, Spring Joint Computer Conference