Analysis of algorithms
Statement
The Art of Computer Programming; asymptotic analysis; LR parsing. Proved in ZFC.
Source
ACM Turing Award 1974. The Art of Computer Programming; asymptotic analysis; LR parsing. Proved in ZFC.
Domains
computer-science
The Art of Computer Programming; asymptotic analysis; LR parsing. Proved in ZFC.
ACM Turing Award 1974. The Art of Computer Programming; asymptotic analysis; LR parsing. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/knuth-turing-1974/