Deletion and reconstruction

Statement

DNA computing; program testing; communication complexity. Proved in ZFC.

Source

Donald E. Knuth Prize 2014. DNA computing; program testing; communication complexity. Proved in ZFC.

Domains

computer-science

People

Related

Explore

Canonical: https://axiom.tanaakk.com/theorem/lipton-knuth-2014/