Produktdetaljer
ISBN
9783540287872
Publisert
2005-10-06
Utgave
2. utgave
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
11
Finite model theory, the model theory of finite structures, has roots in clas sical model theory;
Explores connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds Includes important logics: fixed-point logics, transitive closure logics, and also certain infinitary languages Additional topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems The new Second Edition is thoroughly revised and enlarged Includes supplementary material: sn.pub/extras
Les mer
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540287872
Publisert
2005-10-06
Utgave
2. utgave
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Innbundet
Antall sider
11