Descriptive complexity
By: Neil Immerman.
Series: Graduate texts in computer science; Graduate texts in computer science (Springer-Verlag New York Inc.)
Publisher: Springer
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 268
Subjects: Computational complexity; Logic, Symbolic and mathematical
Description: This self-contained textbook introduces the methods and results of descriptive complexity together with its applications. With many examples and exercises, it may be used for a graduate or advanced undergraduate course.
Notes: Includes bibliographical references (p. [251]-261) and index.