Related Books
Language: en
Pages: 554
Pages: 554
Type: BOOK - Published: 2017-08-17 - Publisher: Cambridge University Press
This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.
Language: en
Pages: 554
Pages: 554
Type: BOOK - Published: 2017-08-17 - Publisher: Cambridge University Press
Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to sol
Language: en
Pages: 1149
Pages: 1149
Type: BOOK - Published: 2023-09-02 - Publisher: Springer Nature
Samson Abramsky’s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a ric
Language: en
Pages: 683
Pages: 683
Type: BOOK - Published: 2019-06-23 - Publisher: Springer
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Lo
Language: en
Pages: 379
Pages: 379
Type: BOOK - Published: 2021-06-24 - Publisher: Cambridge University Press
These nine articles provide up-to-date surveys of topics of contemporary interest in combinatorics.