Cover Image

Elements of Finite Model Theory /

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

Full description

Bibliographic Details
Main Author:	Libkin, Leonid
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series:	Texts in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Computer software. Database management. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Collegium Logicum.
Published: (1995)

Collegium Logicum.
Published: (1996)

Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 /
by: Selman, Alan L.
Published: (1990)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

Many-Valued Logics : 1: Theoretical Foundations /
by: Bolc, Leonard
Published: (1992)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

The Collected Works of J. Richard Büchi /
by: Mac Lane, Saunders
Published: (1990)

Structural Complexity I /
by: Luis Balcázar, José
Published: (1995)

Handbook of Logic and Proof Techniques for Computer Science /
by: Krantz, Steven G.
Published: (2002)

An Introduction to Kolmogorov Complexity and Its Applications /
by: Li, Ming
Published: (1997)

Computable Analysis : an Introduction /
by: Weihrauch, Klaus
Published: (2000)

Computability and Models : Perspectives East and West /
by: Cooper, S. Barry
Published: (2003)

Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
by: Wygralak, Maciej
Published: (1996)

Fuzzy Relation Equations and Their Applications to Knowledge Engineering /
by: Nola, Antonio
Published: (1989)

Boolean Functions and Computation Models /
by: Clote, Peter
Published: (2002)

Finite Automata, Formal Logic, and Circuit Complexity /
by: Straubing, Howard
Published: (1994)

Structural Complexity I /
by: Balcázar, José Luis
Published: (1988)

A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)

Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)

Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)

Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)

Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)

Foundations of Constructive Mathematics : Metamathematical Studies /
by: Beeson, Michael J.
Published: (1985)

An Outline of Set Theory /
by: Henle, James M.
Published: (1986)

Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)

Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)

Lectures on Boolean Algebras /
by: Halmos, Paul R.
Published: (1974)

The Joy of Sets : Fundamentals of Contemporary Set Theory /
by: Devlin, Keith J.
Published: (1993)

Algebra for Computer Science /
by: Gårding, Lars
Published: (1988)

Introduction to Mathematical Structures and Proofs /
by: Gerstein, Larry J.
Published: (1996)

Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)

Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)

Notes on Set Theory /
by: Moschovakis, Yiannis N.
Published: (1994)