Descriptive Complexity

Descriptive Complexity
Author :
Publisher : Springer Science & Business Media
Total Pages : 275
Release :
ISBN-10 : 9781461205395
ISBN-13 : 1461205395
Rating : 4/5 (395 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 and Finite Models
Language: en
Pages: 265
Authors: Neil Immerman
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

From the Preface: We hope that this small volume will suggest directions of synergy and contact for future researchers to build upon, creating connections and m
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.
Descriptive Set Theoretic Methods in Automata Theory
Language: en
Pages: 212
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
The Register-Functional Approach to Grammatical Complexity
Language: en
Pages: 506
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