1.

Record Nr.

UNICAMPANIAVAN00283787

Autore

Libkin, Leonid

Titolo

Elements of Finite Model Theory / Leonid Libkin

Pubbl/distr/stampa

Berlin ; Heidelberg, : Springer, 2004

ISBN

978-35-402-1202-7

Descrizione fisica

xiv, 318 p. : ill. ; 24 cm

Soggetti

03-XX - Mathematical logic and foundations [MSC 2020]

03C13 - Model theory of finite structures [MSC 2020]

68-XX - Computer science [MSC 2020]

68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]

68Q19 - Descriptive complexity and finite models [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia