Bounded variable logics and counting : a study in finite models
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Otto Martin
|
| Titolo: |
Bounded variable logics and counting : a study in finite models
|
| Pubblicazione: | [Place of publication not identified], : Springer, 1997 |
| Edizione: | 1st ed. |
| Descrizione fisica: | 1 online resource (190 pages) |
| Disciplina: | 511.3/3 |
| Soggetto topico: | Model theory |
| Computational complexity | |
| Mathematics | |
| Physical Sciences & Mathematics | |
| Mathematical Theory | |
| 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 Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
| Titolo abbreviato (Periodici): | BOUNDED VARIABLE LOGICS AND COUNTING |
| Titolo autorizzato: | Bounded variable logics and counting : a study in finite models |
| ISBN: | 3-662-21676-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910482885703321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Logic