1971
25 references published this year.
Essence of Decision: Explaining the Cuban Missile Crisis
Graham Allison (1971)
Recursive Procedures
J. W. de Bakker (1971) · Mathematisch Centrum, Amsterdam
A Survey of Fault Tolerant Computer Architecture and its Evaluation
W. C. Carter and others (1971) · Computer · IEEE Computer Society
Regular Algebra and Finite Machines
J. H. Conway (1971) · Chapman and Hall
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
Some Statistical Models for Limited Dependent Variables with Application to the Demand for Durable Goods
John G. Cragg (1971) · Econometrica · Wiley
Recursion induction and Floyd's method
J. Engelfriet (1971) · Twente Technical University, Enschede
Proof of a Recursive Program: Quicksort
M. Foley and others (1971) · The Computer Journal
Cylindric Algebras, Part I
Leon Henkin and others (1971) · North-Holland
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
The contour model of block structured processes
John B. Johnston (1971) · Association for Computing Machinery (ACM)
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
Consistent formal theories of the semantics of programming languages
P. E. Lauer (1971) · IBM Laboratory Vienna
Categories for the Working Mathematician
Saunders Mac Lane (1971) · Springer New York
Mathematical theory of partial correctness
Zohar Manna (1971) · Lecture notes in mathematics · Springer Nature
An algebraic definition of simulation between programs
Robin Milner (1971) · Computer Science Report CS-205
Localization of position within a homogeneous behavior chain: Effects of error contingencies
J. R. Platt and others (1971) · Elsevier BV
Temporal Logic
Nicholas Rescher and others (1971) · Springer Vienna
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
Asynchronous Sequential Switching Circuits with Unrestricted Input Changes
S. H. Unger (1971) · Institute of Electrical and Electronics Engineers (IEEE)
Program development by stepwise refinement
Niklaus Wirth (1971) · Association for Computing Machinery (ACM)
The Programming Language Pascal
Niklaus Wirth (1971) · Springer Berlin Heidelberg