Main / Education / Finite model theory and its applications
Finite model theory and its applications

Name: Finite model theory and its applications
File size: 418mb
Language: English
Rating: 10/10
Download

Authors: Grädel, E., Kolaitis, P.G., Libkin, L., Marx, M., Spencer, J., Vardi, M.Y., Venema, Y., Weinstein, S. This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zeroone laws, together with selected applications. 17 Apr Finite Model Theory and its. Applications. This document contains Leonid Libkin's chapter. Embedded Finite Models and Constraint. Databases. Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science.
FullText Paper (PDF): Finite Model Theory and Its Applications. Finite Model Theory and Its Applications. EATCS Texts in Theoretical Computer Science. pp., hardcover, available April ; Euro , USD More; Year: ; Title: Finite model theory and its applications; Number of pages: ; Publisher: Berlijn: Springer; ISBN: ; Serie: Texts in.
Maarten Marx • Joel Spencer • Moshe Y. Vardi. Yde Venema • Scott Weinstein. Finite Model Theory and Its Applications. With 35 Figures and 2 Tables. Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. . Leonid Libkin, The finite model theory toolbox of a database theoretician. Maarten Marx • Joel Spencer • Moshe Y. Vardi. Yde Venema • Scott Weinstein. Finite Model Theory and Its Applications. With 35 Figures and 2 Tables. Springer . Finite model theory (FMT) is a subarea of model theory (MT). MT is the branch of mathematical logic which deals with the relation between a formal language ( syntax) and its interpretations (semantics). Thus the main application areas of FMT are: descriptive complexity theory, database theory and formal language theory. 5. G. Kreisel, J.L. Krivine, Elements of Mathematical Logic. (Model Theory), North Holland, 6. E. Grädel et all, Finite Model Theory and Its Applications.
More: