Finite Model Theory
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/itemtypeimg/npl/Rare-Book.gif)
Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 EBB (Browse shelf (Opens below)) | Available | 32669 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
510.6 DUN Algebraic methods in philosophical logic | 510.6 DUNN Truth or consequences | 510.6 EBB Mathematical logic | 510.6 EBB Finite Model Theory | 510.6 EBB Finite Model theory | 510.6 EDM How to Think about Algorithms | 510.6 EIJ Logic and information flow |
1. The Ehrenfeucht-Fraisse Method
2. More on Games
3. 0-1 Laws
4. Satisfiability in the Finite
5. Finite Automata and Logic: A Microcosm of Finite Model Theory
6. Descriptive Complexity Theory
7. Logics with Fixed-Point Operators
8. Logic Programs
9. Optimization Problems
10. Quantifiers and Logical Reductions
A study which presents the results of descriptive complexity theory, the connection between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The parts on the model theory and descriptive complexity theory may also be read independently.
There are no comments on this title.