Some Recursively Unsolvable Problems in ALGOL-Like Languages

  • Authors:
  • Seymour Ginsburg;Gene F. Rose

  • Affiliations:
  • System Development Corporation, Santa Monica, California;System Development Corporation, Santa Monica, California

  • Venue:
  • Journal of the ACM (JACM)
  • Year:
  • 1963

Quantified Score

Hi-index 0.04

Visualization

Abstract