Finite Automata, Formal Logic, and Circuit Complexity
Author:   Howard Straubing
Publisher:   Birkhauser Boston Inc
Edition:   1994 ed.
ISBN:  

9780817637194


Pages:   227
Publication Date:   03 May 1994
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $330.00 Quantity:  
Add to Cart

Share |

Finite Automata, Formal Logic, and Circuit Complexity


Overview

Full Product Details

Author:   Howard Straubing
Publisher:   Birkhauser Boston Inc
Imprint:   Birkhauser Boston Inc
Edition:   1994 ed.
Dimensions:   Width: 15.50cm , Height: 1.40cm , Length: 23.50cm
Weight:   1.140kg
ISBN:  

9780817637194


ISBN 10:   0817637192
Pages:   227
Publication Date:   03 May 1994
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

I Mathematical Preliminaries.- I.1 Words and Languages.- I.2 Automata and Regular Languages.- I.3 Semigroups and Homomorphisms.- II Formal Languages and Formal Logic.- II.1 Examples.- II.2 Definitions.- III Finite Automata.- III.1 Monadic Second-Order Sentences and Regular Languages.- III.2 Regular Numerical Predicates.- III.3 Infinite Words and Decidable Theories.- IV Model-Theoretic Games.- IV.1 The Ehrenfeucht-Fraïssé Game.- IV.2 Application to FO[

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now