Research Catalog

Cornerstones of undecidability

Title
Cornerstones of undecidability / Grzegorz Rozenberg and Arto Salomaa.
Author
Rozenberg, Grzegorz.
Publication
Hemel Hempstead, Hertfordshire ; Englewood Cliffs, NJ : Prentice Hall, 1994.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA9.63 .R69 1994Off-site

Holdings

Details

Additional Authors
Salomaa, Arto.
Description
xvi, 197 pages; 24 cm.
Series Statement
Prentice-Hall international series in computer science
Uniform Title
Prentice-Hall international series in computer science.
Subjects
Bibliography (note)
  • Includes bibliographical references (p. 193-194) and index.
Contents
1. Halting Problem -- 2. Post Correspondence Problem -- 3. Diophantine Problems -- 4. Classes of Problems and Proofs -- 5. The Secret Number.
ISBN
0132974258
LCCN
93046737
OCLC
  • 502604636
  • ocn502604636
Owning Institutions
Columbia University Libraries