- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Omschrijving
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.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 360
- Taal:
- Engels
- Reeks:
Eigenschappen
- Productcode (EAN):
- 9783540287872
- Verschijningsdatum:
- 6/10/2005
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 165 mm x 241 mm
- Gewicht:
- 666 g
Alleen bij Standaard Boekhandel
+ 343 punten op je klantenkaart van Standaard Boekhandel
CADEAU
CADEAU
CADEAU
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.