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
Descripción
Sumario:Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.

Ejemplares similares