Travelled to:2 × USA
Collaborated with:S.A.Cook
Talks about:proposit (1) calculus (1) random (1) machin (1) length (1) access (1) proof (1) bound (1) time (1)
Person: Robert A. Reckhow
DBLP: Reckhow:Robert_A=
Contributed to:
19741972Wrote 2 papers:
- STOC-1974-CookR #calculus #on the #proving
- On the Lengths of Proofs in the Propositional Calculus (SAC, RAR), pp. 135–148.
- STOC-1972-CookR #bound #random
- Time-Bounded Random Access Machines (SAC, RAR), pp. 73–80.