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 promiseangels.com!
Est. Packaging Dimensions: Length: 1" Width: 6.5" Height: 9.25" Weight: 1.35 lbs.
Release Date Aug 17, 2004
ISBN 3540212027 ISBN13 9783540212027
Availability 142 units. Availability accurate as of May 30, 2017 03:28.
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
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.
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