Knihobot

Finite model theory

Second Edition

Hodnotenie knihy

4,2(6)Ohodnotiť

Parametre

Počet strán
360 stránok
Čas čítania
13 hodin

Viac o knihe

This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

Nákup knihy

Finite model theory, Heinz-Dieter Ebbinghaus

Jazyk
Rok vydania
2006
product-detail.submit-box.info.binding
(pevná)
Akonáhle sa objaví, pošleme e-mail.

Doručenie

  •  

Platobné metódy

4,2
Veľmi dobrá
6 Hodnotenie

Tu nám chýba tvoja recenzia