Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
The busy beaver game and the meaning of life
A half-century survey on The Universal Turing Machine
Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Computation: finite and infinite machines
Computation: finite and infinite machines
Hi-index | 0.00 |