Finite model theory /
Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closu...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer,
2005.
|
| Edition: | 2nd rev. and enl. ed. 1999. |
| Series: | Springer monographs in mathematics.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Presents the main results of descriptive complexity theory - the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. This book also looks at important logic in this context, which include fixed-point logic, transitive closure logic, and certain infinitary languages. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xi, 360 pages) : illustrations. |
| Bibliography: | Includes bibliographical references [pages 339-347] and index. |
| ISBN: | 3540287884 (electronic bk.) 9783540287889 (electronic bk.) |
| ISSN: | 1439-7382 |
| DOI: | 10.1007/3-540-28788-4 |