|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910482885703321 |
|
|
Autore |
Otto Martin |
|
|
Titolo |
Bounded variable logics and counting : a study in finite models |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : Springer, 1997 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (190 pages) |
|
|
|
|
|
|
Collana |
|
Lecture notes in logic Bounded variable logics and counting |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Model theory |
Computational complexity |
Mathematics |
Physical Sciences & Mathematics |
Mathematical Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related LindstroĢm Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
|
|
|
|
|
|
|