Skip to content

Elements of Finite Model Theory
Stock Photo: Cover May Be Different

Elements of Finite Model Theory Hardcover - 2004 - 2004th Edition

by Leonid Libkin


From the publisher

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-Frass 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.

First line

HASH(0x11148970)

From the rear cover

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-Frass 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.

This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science.

Details

  • Title Elements of Finite Model Theory
  • Author Leonid Libkin
  • Binding Hardcover
  • Edition number 2004th
  • Edition 2004
  • Pages 318
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2004-07-02
  • ISBN 9783540212027 / 3540212027
  • Weight 1.37 lbs (0.62 kg)
  • Dimensions 9.5 x 6.32 x 0.88 in (24.13 x 16.05 x 2.24 cm)
  • Library of Congress Catalog Number 2004105855
  • Dewey Decimal Code 511.34

About the author

The author has been with the department of computer science at the University of Toronto since 2000. Prior to that, he was a researcher at Bell Laboratories, and he spent two years visiting INRIA in France. His research interests are in the areas of database theory and applications of logic in computer science.

He is coauthor/editor of:

Constraint Databases
Kuper, G., Libkin, L., Paredaens, J. (Eds.), 12.04.2000, ISBN 3-540-66151-4

Finite-Model Theory and Its Applications
Grdel, E., Kolaitis, P.G. (et al.), 07.2004, ISBN 3-540-00428-9

Semantics in Databases
Thalheim, B., Libkin, L. (Eds.), Vol. 1358, 25.02.1998, ISBN 3-540-64199-8

Back to Top

More Copies for Sale

Elements of Finite Model Theory
Stock Photo: Cover May Be Different

Elements of Finite Model Theory

by Leonid Libkin

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantity Available
30
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$116.91
$10.27 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Elements of Finite Model Theory.
Item Price
$116.91
$10.27 shipping to USA
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Stock Photo: Cover May Be Different

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

by Leonid Libkin

  • Used
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantity Available
1
Seller
Wilmington, Vermont, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$100.00
$5.99 shipping to USA

Show Details

Description:
Springer, July 2004. Hardcover . Used - Very Good/Very Good.
Item Price
$100.00
$5.99 shipping to USA
Elements of Finite Model Theory
Stock Photo: Cover May Be Different

Elements of Finite Model Theory

by Leonid Libkin

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$131.44
$12.79 shipping to USA

Show Details

Description:
Hardback. New. Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
Item Price
$131.44
$12.79 shipping to USA
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Stock Photo: Cover May Be Different

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

by Libkin, Leonid

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$182.68
$5.45 shipping to USA

Show Details

Description:
Springer, 2004-07-02. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$182.68
$5.45 shipping to USA