Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | December 4, 2014

    Fred Armisen: IMG Fred Armisen: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... 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.