Cornerstones of undecidability
By: Grzegorz Rozenberg and Arto Salomaa.
Contributors: Salomaa, Arto.
Series: Prentice Hall international series in computer science
Publisher: Prentice Hall
Published: 1994
Place of publication: New York
Language: eng
Number of pages: 197
Subjects: Unsolvability (Mathematical logic); Decidability (Mathematical logic)
Notes: Includes bibliographical references (p. 193-194) and index.