Elements of Finite Model Theory (Texts in Theoretical Computer Science)
Libkin, L
ISBN 13: 9773540212028
Published by Springer, 2004
Used
Hardcover
From
Anybook.com, Lincoln, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 22 December 1999
This specific copy is no longer available. Here are our closest matches for Elements of Finite Model Theory (Texts in Theoretical Computer Science).
About this Item
Description:
This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9773540212028. Seller Inventory # 9789719
Bibliographic Details
Title: Elements of Finite Model Theory (Texts in ...
Publisher: Springer
Publication Date: 2004
Binding: Hardcover
Condition: Good
Top Search Results from the AbeBooks Marketplace
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: thebookforest.com, San Rafael, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: LikeNew. Text block, wraps and binding are in like new condition, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped. Seller Inventory # 1LAUHV002YVS
Quantity: 1 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_410869554
Quantity: 1 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR014272925
Quantity: 1 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540212027
Quantity: 1 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783642059483
Quantity: 2 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Bartleby's Books, Wilmington, VT, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Used - Very Good. Dust Jacket Condition: Very Good. Seller Inventory # 185569
Quantity: 1 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020215190
Quantity: Over 20 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020162896
Quantity: Over 20 available
Stock Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642059483_new
Quantity: Over 20 available
Seller Image
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Hardcover. Condition: Neu. Neu Neuware, auf Lager - Finite model theory is an area of mathematical logic that grew out of computer science applications. The main sources of motivational examples for finite model theory are found in database theory, computational complexity, and formal languages, although in recent years connections with other areas, such as formal methods and verification, and artificial intelligence, have been discovered. The birth of finite model theory is often identified with Trakhtenbrot's result from 1950 stating that validity over finite models is not recursively enumerable; in other words, completeness fails over finite models. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class. In 1982, Immerman and Vardi showed that over ordered structures, a fixed point extension of first-order logic captures the complexity class PTIME of polynomial time computable propertiE~s. Shortly thereafter, logical characterizations of other important complexity classes were obtained. This line of work is often referred to as descriptive complexity. A different line of finite model theory research is associated with the de velopment of relational databases. By the late 1970s, the relational database model had replaced others, and all the basic query languages for it were es sentially first-order predicate calculus or its minor extensions. Seller Inventory # INF1000763883
Quantity: 1 available