Signed Edition Sweepstakes
 
 

Recently Viewed clear list


Original Essays | September 17, 2014

Merritt Tierce: IMG Has My Husband Read It?



My first novel, Love Me Back, was published on September 16. Writing the book took seven years, and along the way three chapters were published in... Continue »

spacer
Qualifying orders ship free.
$180.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Logic and Philosophy

This title in other editions

Finite Automata, Formal Logic, & Circuit Complexity

by

Finite Automata, Formal Logic, & Circuit Complexity Cover

 

Synopses & Reviews

Book News Annotation:

The material is situated at the juncture of automata theory, logic, computational complexity, and semigroup theory. The first part is devoted to the algebraic characterization of the regular languages definable in many different logical theories, including older results of Buchi on monadic second-order logic, and McNaughton and Papert on first-order logic and star-free languages. The second part presents the recently discovered connections between the algebraic theory of automata and the complexity theory of small-depth circuits.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Description:

Includes bibliographical references (p. 217-222) and index.

Product Details

ISBN:
9780817637194
Author:
Straubing, Howard
Publisher:
Birkhauser
Location:
Boston :
Subject:
Computer Science
Subject:
General science
Subject:
Logic, symbolic and mathematical
Subject:
Robots
Subject:
Machine Theory
Subject:
Computational complexity
Subject:
Mathematics
Subject:
Logic
Subject:
General
Subject:
Computer science -- Mathematics.
Subject:
Math Applications in Computer Science
Subject:
APPLICATIONS OF MATHEMATICS
Subject:
Information and Communication, Circuits
Subject:
Mathematical Logic and Formal Languages
Subject:
Arithmetic and Logic Structures
Subject:
Mathematical Logic and Foundations
Subject:
Mathematics-Logic and Philosophy
Subject:
Data processing
Copyright:
Edition Number:
1
Edition Description:
Book
Series:
Progress in Theoretical Computer Science
Series Volume:
no. 73
Publication Date:
19940503
Binding:
HARDCOVER
Language:
English
Illustrations:
Yes
Pages:
239
Dimensions:
235 x 155 mm 1140 gr

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Education » Phonics
Humanities » Philosophy » General
Reference » Science Reference » General
Science and Mathematics » Materials Science » General
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » Logic and Philosophy

Finite Automata, Formal Logic, & Circuit Complexity New Hardcover
0 stars - 0 reviews
$180.25 In Stock
Product details 239 pages Birkhauser Boston - English 9780817637194 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.