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

Journal of the ACM (JACM)

Backlinks

Thesis. The asymptotics of language

1 August 2026

Note. Probable approximate correctness

27 April 2026

Reference. Cryptographic limitations on learning Boolean formulae and finite automata

2 January 1994

Reference. Many hard examples for resolution

1 October 1988

Reference. Two-Tape Simulation of Multitape Turing Machines

1 October 1966