Overview
- Self-contained introduction to a fundamental area in computer science Provides readers with an understanding of logic and complexity Explores applications and future directions Includes numerous examples and exercises to further illustrate the ideas presented This subject has important applications to databases such as analyzing the queries computable in polynomial time, analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes
Part of the book series: Texts in Computer Science (TCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Descriptive Complexity
Authors: Neil Immerman
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-1-4612-0539-5
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1999
Hardcover ISBN: 978-0-387-98600-5Published: 20 November 1998
Softcover ISBN: 978-1-4612-6809-3Published: 30 September 2012
eBook ISBN: 978-1-4612-0539-5Published: 06 December 2012
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XVI, 268
Topics: Theory of Computation, Information Systems and Communication Service, Mathematical Logic and Foundations
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications