Cornerstones of Undecidability

• Main Authors: Rozenberg, Grzegorz (Author), Salomaa, Arto (Author)
• Format: Book
• Language: English
• Published: New York Prentice-Hall c1994
• Series: Prentice-Hall International Series in Computer Sience / C.A.R. Hoare
• Subjects: AUTOMATA THEORY; Λογική, Συμβολική και μαθηματική; MATHEMATICS; ΕΠΕΑΕΚ