Journal of the ACM Bibliography

Stephen A. Cook. The solvability of the derivability problem for one-normal systems. Journal of the ACM, 13(2):223-225, April 1966. [BibTeX entry]
Selected references


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database