The Resource Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Resource Information
The item Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Brigham Young University.This item is available to borrow from 1 library branch.
Resource Information
The item Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Brigham Young University.
This item is available to borrow from 1 library branch.
 Summary
 "Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite modeltheoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research"Provided by publisher
 Language
 eng
 Extent
 xi, 341 p.
 Contents

 Machine generated contents note: Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automatabased presentations of infinite structures Vince Bárány, Erich Gra; del and Sasha Rubin; Logical aspects of spatial databases Bart Kuijpers and Jan Van den Bussche; Some connections between finite and infinite model theory Vera Koponen; Algorithmic metatheorems Stephan Kreutzer; Definability in classes of finite structures H. Dugald Macpherson and Charles Steinhorn; Model theoretic methods for fragments of FO and special classes of (finite) structures Martin Otto
 Isbn
 9780521718202
 Label
 Finite and algorithmic model theory
 Title
 Finite and algorithmic model theory
 Statement of responsibility
 edited by Javier Esparza, Christian Michaux, Charles Steinhorn
 Language
 eng
 Summary
 "Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite modeltheoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research"Provided by publisher
 Cataloging source
 DLC
 Dewey number
 511.3/4
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA9.7
 LC item number
 .F565 2011
 Literary form
 non fiction
 Nature of contents
 bibliography
 Series statement
 London Mathematical Society lecture note series
 Series volume
 379
 Label
 Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn
 Bibliography note

 Includes bibliographical references and index
 Includes bibliographical references
 Carrier category
 volume
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type MARC source
 rdacontent
 Contents
 Machine generated contents note: Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automatabased presentations of infinite structures Vince Bárány, Erich Gra; del and Sasha Rubin; Logical aspects of spatial databases Bart Kuijpers and Jan Van den Bussche; Some connections between finite and infinite model theory Vera Koponen; Algorithmic metatheorems Stephan Kreutzer; Definability in classes of finite structures H. Dugald Macpherson and Charles Steinhorn; Model theoretic methods for fragments of FO and special classes of (finite) structures Martin Otto
 Dimensions
 23 cm.
 Extent
 xi, 341 p.
 Isbn
 9780521718202
 Isbn Type
 (pbk.)
 Lccn
 2010048062
 Media category
 unmediated
 Media MARC source
 rdamedia
 Other physical details
 ill.
 System control number

 (OCoLC)ocn663441246
 (OCoLC)ocn727998935
 Label
 Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn
 Bibliography note

 Includes bibliographical references and index
 Includes bibliographical references
 Carrier category
 volume
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type MARC source
 rdacontent
 Contents
 Machine generated contents note: Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automatabased presentations of infinite structures Vince Bárány, Erich Gra; del and Sasha Rubin; Logical aspects of spatial databases Bart Kuijpers and Jan Van den Bussche; Some connections between finite and infinite model theory Vera Koponen; Algorithmic metatheorems Stephan Kreutzer; Definability in classes of finite structures H. Dugald Macpherson and Charles Steinhorn; Model theoretic methods for fragments of FO and special classes of (finite) structures Martin Otto
 Dimensions
 23 cm.
 Extent
 xi, 341 p.
 Isbn
 9780521718202
 Isbn Type
 (pbk.)
 Lccn
 2010048062
 Media category
 unmediated
 Media MARC source
 rdamedia
 Other physical details
 ill.
 System control number

 (OCoLC)ocn663441246
 (OCoLC)ocn727998935
Embed (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.lib.byu.edu/portal/Finiteandalgorithmicmodeltheoryeditedby/g_iCMzVxXcc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.byu.edu/portal/Finiteandalgorithmicmodeltheoryeditedby/g_iCMzVxXcc/">Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</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 Item Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn
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.lib.byu.edu/portal/Finiteandalgorithmicmodeltheoryeditedby/g_iCMzVxXcc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.lib.byu.edu/portal/Finiteandalgorithmicmodeltheoryeditedby/g_iCMzVxXcc/">Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, Charles Steinhorn</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.lib.byu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.lib.byu.edu/">Brigham Young University</a></span></span></span></span></div>