Related Books

Finite Automata, Formal Logic, and Circuit Complexity
Language: en
Pages: 235
Authors: Howard Straubing
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subj
Descriptional Complexity of Formal Systems
Language: en
Pages: 329
Authors: Markus Holzer
Categories: Computers
Type: BOOK - Published: 2011-07-18 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany,
Descriptive Complexity
Language: en
Pages: 292
Authors: Neil Immerman
Categories: Computers
Type: BOOK - Published: 1998-11-20 - 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
Introduction to Circuit Complexity
Language: en
Pages: 277
Authors: Heribert Vollmer
Categories: Computers
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer
Weighted Automata, Formal Power Series and Weighted Logic
Language: en
Pages: 191
Authors: Laura Wirth
Categories: Mathematics
Type: BOOK - Published: 2022-10-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power se