Elements Of Finite Model Theory

by Leonid Libkin
language: english
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, July of 2004 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book
Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics.

Elements Of Finite Model Theory

by Leonid Libkin

Property Description
ISBN: 9783540212027
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Release Date: July of 2004
Language: English
Cover: Hardcover
Pages: 318
Format: Book
Categories: Books in English > Science > Mathematics
EAN: 9783540212027