• Publications
  • Influence
Powers of regular cardinals
  • 186
  • 10
Process synchronization without long-term interlock
TLDR
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has been changed by another process. Expand
  • 16
  • 1
TOWARD SEMI-AUTOMATED MATHEMATICS: THE LANGUAGE AND LOGIC OF SAM III.
TLDR
This report describes the third in a series of computer experiments designed to explore the extent to which computers may feasibly be used in doing formal mathematics. Expand
  • 3
  • 1
INTRODUCTION TO SEMI-AUTOMATED MATHEMATICS.
Abstract : The subject of this report is mechanical theorem proving, and in it are described two computer programs that represent an approach different from the usual ones based on the HerbrandExpand
  • 2
  • 1
CRT-AIDED SEMI-AUTOMATED MATHEMATICS
TLDR
SAM V, the fifth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer for semi-automated mathematics. Expand
  • 9
  • 1
Process synchronization without long-term interlock
A technique is presented for replacing long-term interlocking of shared data by the possible repetition of unprivileged code in case a version number (associated with the shared data) has beenExpand
  • 1
SEMI-AUTOMATED MATHEMATICS: SAM IV.
TLDR
The fourth in a series of computer experiments on theorem proving is described. Expand
  • 2
Space Travel and Space Theology
Out of the Depths