Theory — papers field
3 papers in the theory field.
| Name | Year | Status | Field | Authors |
|---|---|---|---|---|
| An Unsolvable Problem of Elementary Number Theory | 1936– | Alive | Theory | Alonzo Church |
| On Computable Numberswith an Application to the Entscheidungsproblem | 1936– | Alive | Theory | Alan Turing |
| An Axiomatic Basis for Computer Programming | 1969– | Alive | Theory | C.A.R. Hoare |