Finite Model Theory

Name: Finite Model Theory
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540287872
Price: 192.51 EUR
Availability: InStock

Autor: Heinz-Dieter Ebbinghaus, Jörg Flum

Jazyk:

Väzba: Pevná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

192.51 €

Finite model theory has roots in classical model theory, but owes its systematic development to rese...

Informácie o knihe

Autor

Heinz-Dieter Ebbinghaus, Jörg Flum

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

2005

Stránok

360

EAN

9783540287872

ISBN

3540287876

Enbook ID

01561114

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

1550

Rozmery

155 x 235 x 27

Kompletný popis

Finite model theory has roots in classical model theory, but owes its systematic development to research from complexity theory and database theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, optimization and approximation problems.§

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Finite Model Theory

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Recursion Theory Week

d-d Excitations in Transition-Metal Oxides

Uniforms of the Waffen-SS: Vol 2

White Rose Maths Practice Journals Year 3 Workbook: Single Copy (Paperback)

Tokyo Jazz Joints

Beyond Order

21st Century Boys: The Perfect Edition, Vol. 1

The Speech of the Right Hon. George Canning, Volume 4...

Ancient Encounters: Kennewick Man and the First Americans

face2face Elementary Workbook with Key

Innovation in Technologies

Blue Exorcist, Vol. 10

Thorgal Vol.12: the Brand of the Exiles

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Asphalt Massaka 3

MOLINS DEL COLLSACABRA

principle of planetary revolution and rotation