Descriptive Complexity /

A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in first-order logic. By virtue of the close relation...

Full description

Bibliographic Details

Main Author:	Immerman, Neil
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1999.
Series:	Graduate texts in computer science.
Subjects:	Computer science. Information theory. Information systems. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book