Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Bounded variable logics and counting : a study in finite models
| Bounded variable logics and counting : a study in finite models |
| Autore | Otto Martin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 511.3/3 |
| Collana | Lecture notes in logic Bounded variable logics and counting |
| Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21676-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Record Nr. | UNISA-996210818203316 |
Otto Martin
|
||
| [Place of publication not identified], : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Bounded variable logics and counting : a study in finite models
| Bounded variable logics and counting : a study in finite models |
| Autore | Otto Martin |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
| Descrizione fisica | 1 online resource (190 pages) |
| Disciplina | 511.3/3 |
| Collana | Lecture notes in logic Bounded variable logics and counting |
| Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
| ISBN | 3-662-21676-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| 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 Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Record Nr. | UNINA-9910482885703321 |
|
Otto Martin
|
||
| [Place of publication not identified], : Springer, 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||