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
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Language: en
Pages: 554
Authors: Martin Grohe
Categories: Computers
Type: BOOK - Published: 2017-08-17 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.
The Register-Functional Approach to Grammatical Complexity
Language: en
Pages: 528
Authors: Douglas Biber
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2021-12-31 - Publisher: Routledge

DOWNLOAD EBOOK

This collection brings together the authors' previous research with new work on the Register-Functional (RF) approach to grammatical complexity, offering a unif
Descriptive Set Theoretic Methods in Automata Theory
Language: en
Pages: 211
Authors: Michał Skrzypczak
Categories: Mathematics
Type: BOOK - Published: 2016-08-05 - Publisher: Springer

DOWNLOAD EBOOK

The book is based on the PhD thesis “Descriptive Set Theoretic Methods in Automata Theory,” awarded the E.W. Beth Prize in 2015 for outstanding dissertation
Computational Complexity
Language: en
Pages: 609
Authors: Sanjeev Arora
Categories: Computers
Type: BOOK - Published: 2009-04-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.