Finite model theory and its applications
Resource Information
The work Finite model theory and its applications represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books.
The Resource
Finite model theory and its applications
Resource Information
The work Finite model theory and its applications represents a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Work, Language Material, Books.
 Label
 Finite model theory and its applications
 Statement of responsibility
 Erich Grädel ... [et al.]
 Subject

 Computational complexity
 Modeltheorie
 Finite model theory
 Computational complexity
 Constraint databases
 Electronic books
 Finite model theory
 Constraint databases
 Computational complexity
 Computational complexity
 Constraint databases
 Electronic resources
 Computational complexity
 Finite model theory
 Constraint databases
 Computational complexity
 Constraint databases
 Finite model theory
 Informatique
 Finite model theory
 Constraint databases
 Finite model theory
 Language
 eng
 Summary
 This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zeroone laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the EhrenfeuchtFraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as ominimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science
 Cataloging source
 GW5XE
 Image bit depth
 0
 LC call number
 QA9.7
 LC item number
 .F56 2007eb
 Literary form
 non fiction
 Nature of contents
 dictionaries
 Series statement
 Texts in Theoretical Computer Science an EATCS Series,
Context
Context of Finite model theory and its applicationsEmbed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/wGrW1JUDK7w/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/wGrW1JUDK7w/">Finite model theory and its applications</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Work Finite model theory and its applications
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.bu.edu/resource/wGrW1JUDK7w/" typeof="CreativeWork http://bibfra.me/vocab/lite/Work"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/wGrW1JUDK7w/">Finite model theory and its applications</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>