البيان رقم صفر

Stephen A. Cook

Backlinks

Thesis. The asymptotics of language

1 August 2026

Note. Some varieties of idealisation

27 April 2026

Reference. Time bounded random access machines

1 August 1973

Reference. The complexity of theorem-proving procedures

3 May 1971