Picture 1 of 2
Stock photo
Picture 1 of 2
Stock photo
Texts in Theoretical Computer Science. an Eatcs Ser.: Elements of Finite Model Theory by Leonid Libkin (2004, Hardcover)
loveourprices2 (119756)
95.4% positive Feedback
Price:
£72.95
Free postage
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Condition:
Finite model theory is an area of mathematical logic that grew out of computer science applications. 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.
- Buy it nowElements of Finite Model Theory (Texts in Theoretical Computer Science. An
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer Berlin / Heidelberg
ISBN-103540212027
ISBN-139783540212027
eBay Product ID (ePID)87856399
Product Key Features
Number of PagesXiv, 318 Pages
Publication NameElements of Finite Model Theory
LanguageEnglish
SubjectProgramming / Algorithms, Computer Science, Logic
Publication Year2004
TypeTextbook
Subject AreaComputers, Mathematics
AuthorLeonid Libkin
SeriesTexts in Theoretical Computer Science. an Eatcs Ser.
FormatHardcover
Dimensions
Item Weight50.8 oz.
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
All listings for this product
Be the first to write a review
![The Stranger In The Mirror, by Marlene M. D. Steinberg [Paperback]](https://i.ebayimg.com/images/g/YosAAeSw6rloNgwT/s-l225.jpg)
