Bounded Variable Logics and Counting
Bounded Variable Logics and Counting
A Study in Finite Models
Cambridge University Press
03/2017
193
Dura
Inglês
9781107167940
400
Descrição não disponível.
Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindstroem extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Preface; Introduction; 1. Definitions and preliminaries; 2. The games and their analysis; 3. The invariants; 4. Fixed-point logic with counting; 5. Related Lindstroem extensions; 6. Canonization problems; 7. Canonization for two variables; Bibliography; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.