Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. an Eatcs Series) （2007）

Grädel, Erich/ Kolaitis, Phokion G./ Libkin, Leonid

Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/10発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 440 p.
• 言語 ENG
• 商品コード 9783642438608
• DDC分類 511.34

Full Description

Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory.