Vous l’avez sûrement remarqué : notre boutique se pare d’un tout nouveau look frais et moderne ! Notre nom, logo et site ont été repensés, mais rassurez-vous : nous restons la même librairie et papeterie que vous connaissez et appréciez.
Curieux·euse de découvrir l’histoire derrière notre nouveau style ?
This volume 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. Important logics in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.
