| 청구기호 |
QA9.7 F56 2011 |
| 형태사항 |
xi, 341 p. : ill. ; 23 cm.
|
| 총서명 |
London Mathematical Society lecture note series ; 379
|
| 언어 |
영어 |
| 서지주기 |
Includes bibliographical references.
|
| 내용 |
Preface / Javier Esparza, Christian Michaux and Charles Steinhorn -- Automata-based presentations of infinite structures / Vince Ba?ra?ny, Erich Gra?del and Sasha Rubin -- Logical aspects of spatial databases / Bart Kuijpers and Jan Van den Bussche -- Some connections between finite and infinite model theory / Vera Koponen -- Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn -- Algorithmic meta-theorems / Stephan Kreutzer -- Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto.
|
| 주제 |
Finite model theory.
Computer science --Mathematics.
|
| LCCN |
2010048062
|
| ISBN |
9780521718202 (pbk.)
, 0521718201 (pbk.)
|
| QR CODE |
|
