Logical Methods
Subtitle: In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic (PCS))
Contributors: John N. Crossley (Editor); Jeffrey B. Remmel (Editor); Richard A. Shore (Editor); Moss E. Sweedler (Editor)
Edition: 1 edition
Publisher: Birkhäuser Boston
Published: December 20, 1993
Language: eng
Format: Hardcover
Number of pages: 550
ISBN-13: 9780817636906
Subjects: Mathematical logic; Mathematical theory of computation; Science/Mathematics; Logic, Symbolic and mathematic; Computer Logic; Mathematics; Computers; Computers - Languages / Programming; Logic Programming; Computer Books: General; General; Computer Science; Programming - General; Computers / Computer Science; Nerode, Anil; Nerode, Anil,; Logic, Symbolic and mathematical; 1932-
First sentence: Anil Nerode's work divides into a number of periods though, inevitably, there are overlaps and cross-currents.