↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Finite model theory
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
Preliminaries
Altmetric Badge
Chapter 2
The Ehrenfeucht-Fraïssé Method
Altmetric Badge
Chapter 3
More on Games
Altmetric Badge
Chapter 4
0-1 Laws
Altmetric Badge
Chapter 5
Satisfiability in the Finite
Altmetric Badge
Chapter 6
Finite Automata and Logic: A Microcosm of Finite Model Theory
Altmetric Badge
Chapter 7
Descriptive Complexity Theory
Altmetric Badge
Chapter 8
Logics with Fixed-Point Operators
Altmetric Badge
Chapter 9
Logic Programs
Altmetric Badge
Chapter 10
Optimization Problems
Altmetric Badge
Chapter 11
Logics for PTIME
Altmetric Badge
Chapter 12
Quantifiers and Logical Reductions
Overall attention for this book and its chapters
Altmetric Badge
Mentioned by
twitter
2
X users
syllabi
2
institutions with syllabi
wikipedia
7
Wikipedia pages
Citations
dimensions_citation
151
Dimensions
Readers on
mendeley
34
Mendeley
Book overview
1. Preliminaries
2. The Ehrenfeucht-Fraïssé Method
3. More on Games
4. 0-1 Laws
5. Satisfiability in the Finite
6. Finite Automata and Logic: A Microcosm of Finite Model Theory
7. Descriptive Complexity Theory
8. Logics with Fixed-Point Operators
9. Logic Programs
10. Optimization Problems
11. Logics for PTIME
12. Quantifiers and Logical Reductions
Summary
X
Syllabi
Wikipedia
Dimensions citations
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
3
syllabi from
2
institutions on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
University of Edinburgh
2
Unknown
Massey University
1
Library and Information Science