Stephen A. Cook
Stephen A. Cook.
The solvability of the derivability problem for one-normal systems.
Journal of the ACM
, 13(2):223-225, April 1966.
References.
Stephen A. Cook.
Characterizations of pushdown machines in terms of time-bounded computers.
Journal of the ACM
, 18(1):4-18, January 1971.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database