Finite and Algorithmic Model Theory

Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.

Detalles Bibliográficos
Autores principales: Esparza, Javier, Michaux, Christian, Steinhorn, Charles
Lenguaje:eng
Publicado: Cambridge University Press 2011
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1437370
_version_ 1780924516843651072
author Esparza, Javier
Michaux, Christian
Steinhorn, Charles
author_facet Esparza, Javier
Michaux, Christian
Steinhorn, Charles
author_sort Esparza, Javier
collection CERN
description Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.
id cern-1437370
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2011
publisher Cambridge University Press
record_format invenio
spelling cern-14373702021-04-22T00:34:08Zhttp://cds.cern.ch/record/1437370engEsparza, JavierMichaux, ChristianSteinhorn, CharlesFinite and Algorithmic Model TheoryMathematical Physics and MathematicsSurveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.Cambridge University Pressoai:cds.cern.ch:14373702011
spellingShingle Mathematical Physics and Mathematics
Esparza, Javier
Michaux, Christian
Steinhorn, Charles
Finite and Algorithmic Model Theory
title Finite and Algorithmic Model Theory
title_full Finite and Algorithmic Model Theory
title_fullStr Finite and Algorithmic Model Theory
title_full_unstemmed Finite and Algorithmic Model Theory
title_short Finite and Algorithmic Model Theory
title_sort finite and algorithmic model theory
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/1437370
work_keys_str_mv AT esparzajavier finiteandalgorithmicmodeltheory
AT michauxchristian finiteandalgorithmicmodeltheory
AT steinhorncharles finiteandalgorithmicmodeltheory

Ejemplares similares