Newsletter   Secure Checkout   Shopping Cart (0 Items)  
Search:    Welcome Guest! Save up to 30-40% on most items with our awesome everyday discounts!

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series) [Hardcover]

Our Price $ 75.19  
Retail Value $ 79.99  
You Save $ 4.80  
Item Number 233417  
Buy New $75.19
Available on the Internet only.

Item description for Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series) by Leonid Libkin...

This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-FraA_ssAc games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory.

Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at!

Item Specifications...

Pages   315
Est. Packaging Dimensions:   Length: 1" Width: 6.5" Height: 9.25"
Weight:   1.35 lbs.
Binding  Hardcover
Release Date   Aug 17, 2004
Publisher   Springer
ISBN  3540212027  
ISBN13  9783540212027  

Availability  142 units.
Availability accurate as of Oct 20, 2016 08:47.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.

More About Leonid Libkin

Register your artisan biography and upload your photo! Leonid Libkin is Professor of Foundations of Data Management in the School of Informatics at the University of Edinburgh. He was previously a Professor at the University of Toronto and a member of research staff at Bell Laboratories in Murray Hill. He received his PhD from the University of Pennsylvania in 1994. His main research interests are in the areas of data management and applications of logic in computer science. He has written four books and over 150 technical papers. He was the recipient of a Marie Curie Chair Award from the EU in 2006, and won four best paper awards. He has chaired programme committees of major database conferences (ACM PODS, ICDT) and was the conference chair of the 2010 Federated Logic Conference. He has given many invited conference talks and has served on multiple program committees and editorial boards. He is an ACM Fellow and a Fellow of the Royal Society of Edinburgh.

Leonid Libkin has an academic affiliation as follows - University of Edinburgh.

Are You The Artisan or Author behind this product?
Improve our customers experience by registering for an Artisan Biography Center Homepage.

Product Categories

1Books > Calendars > Computers
2Books > Special Features > New & Used Textbooks > Computer Science & Information Systems > Database Storage & Design
3Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > Computer Mathematics
4Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > General
5Books > Subjects > Computers & Internet > Computer Science > Artificial Intelligence > Theory of Computing
6Books > Subjects > Computers & Internet > Databases > General
7Books > Subjects > Computers & Internet > General
8Books > Subjects > Professional & Technical > Professional Science > Mathematics > Pure Mathematics > Logic
9Books > Subjects > Science > General
10Books > Subjects > Science > Mathematics > General
11Books > Subjects > Science > Mathematics > Pure Mathematics > Logic

Reviews - What do customers think about Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)?

Technical review of this book  Sep 21, 2004
Model theory is the study of the logical properties of mathematical structures. Finite model theory arises when we focus our attention on finite structures, such as finite graphs (graphs with a finite number of nodes). This book presents the most important results of finite model theory in an extremely readable, yet careful and precise manner. Libkin himself is a master of the art, and this shows in his beautiful presentation of the material.
--Ronald Fagin Manager, Foundations of Computer Science, IBM Almaden Research Center, San Jose, CA

Write your own review about Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Ask A Question or Provide Feedback regarding Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Item Feedback and Product Questions
For immediate assistance call 888.395.0572 during the hours of 10am thru 8pm EST Monday thru Friday and a customer care representative will be happy to help you!

Help us continuously improve our service by reporting your feedback or questions below:

I have a question regarding this product
The information above is incorrect or conflicting
The page has misspellings or incorrect grammar
The page did not load correctly in my browser or created an error.

Email Address:
Anti Spam Question. To combat spammers we require that you answer a simple question.
What color is the sky?
Leave This Blank :
Do Not Change This Text :

Add This Product Widget To Your Website

Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.

    Copy and paste the following HTML into your website and enjoy!

Order toll-free weekdays 10am thru 10pm EST by phone: 1-888-395-0572 (Lines are closed on holidays & weekends.)
Customer Service | My Account | Track My Orders | Return Policy | Request Free Catalog | Email Newsletter

Gift Certificates
RSS Feeds
About Us
Contact Us
Terms Of Use
Privacy Policy