Descriptive Complexity

Descriptive Complexity
Author :
Publisher : Springer Science & Business Media
Total Pages : 275
Release :
ISBN-10 : 9781461205395
ISBN-13 : 1461205395
Rating : 4/5 (95 Downloads)

Book Synopsis Descriptive Complexity by : Neil Immerman

Download or read book Descriptive Complexity written by Neil Immerman and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 275 pages. Available in PDF, EPUB and Kindle. Book excerpt: By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is a relatively self-contained introduction to the subject, which includes the necessary background material, as well as numerous examples and exercises.


Descriptive Complexity Related Books

Descriptive Complexity
Language: en
Pages: 275
Authors: Neil Immerman
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzi
Description Logic, Theory Combination, and All That
Language: en
Pages: 673
Authors: Carsten Lutz
Categories: Mathematics
Type: BOOK - Published: 2019-06-25 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributi
Computability and Randomness
Language: en
Pages: 450
Authors: André Nies
Categories: Mathematics
Type: BOOK - Published: 2012-03-29 - Publisher: OUP Oxford

DOWNLOAD EBOOK

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshop
Fields of Logic and Computation
Language: en
Pages: 637
Authors: Andreas Blass
Categories: Computers
Type: BOOK - Published: 2010-08-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions, written by his colleagues. The collec
Finite Model Theory
Language: en
Pages: 336
Authors: Heinz-Dieter Ebbinghaus
Categories: Mathematics
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main