Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity 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, and optimization and approximation problems. The book is written in such a way that the resp. parts on model theory and descriptive complexity theory may be read independently.
"synopsis" may belong to another edition of this title.
Shipping:
US$ 5.50
Within U.S.A.
Seller: Grey Matter Books, Hadley, MA, U.S.A.
Hardcover. Condition: Very Good. Dust Jacket Condition: None Issued. Text is unmarked, though the pages are a little yellowed, the page edges are age toned and the top edge of the pages is foxed. Binding is sturdy. There are a couple tiny stains of the covers. No dust jacket, as issued. 327pp. Seller Inventory # 066501
Quantity: 1 available
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Hardcover. 2., rev. and enl. ed. XIII, 360 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library in GOOD condition with library-signature and stamp(s). Some traces of use. R-16829 9783540601494 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2480182
Quantity: 1 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 327 1st Edition. Seller Inventory # 261770505
Quantity: 4 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 327. Seller Inventory # 7125974
Quantity: 4 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-33317
Quantity: 2 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-385265
Quantity: 3 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-268058
Quantity: 1 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTA-219772
Quantity: 1 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. pp. 327. Seller Inventory # 181770499
Quantity: 4 available
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand.1995. | Produktart: Sonstiges. Seller Inventory # 244844/2
Quantity: 1 available