620 followers
RT @hark: これ Libkin 先生の本とどっちがいいんだろう Finite Model Theory 2nd ed. https://t.co/TT5V76sVu9
142 followers
これ Libkin 先生の本とどっちがいいんだろう Finite Model Theory 2nd ed. https://t.co/TT5V76sVu9
Finite model theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Preliminaries
-
Altmetric BadgeChapter 2 The Ehrenfeucht-Fraïssé Method
-
Altmetric BadgeChapter 3 More on Games
-
Altmetric BadgeChapter 4 0-1 Laws
-
Altmetric BadgeChapter 5 Satisfiability in the Finite
-
Altmetric BadgeChapter 6 Finite Automata and Logic: A Microcosm of Finite Model Theory
-
Altmetric BadgeChapter 7 Descriptive Complexity Theory
-
Altmetric BadgeChapter 8 Logics with Fixed-Point Operators
-
Altmetric BadgeChapter 9 Logic Programs
-
Altmetric BadgeChapter 10 Optimization Problems
-
Altmetric BadgeChapter 11 Logics for PTIME
-
Altmetric BadgeChapter 12 Quantifiers and Logical Reductions