عنوان
پدید آورنده
موضوع
رده
QA 9.7 .F565 2011
QA
9
.
7
.
F565
2011
کتابخانه
محل استقرار
9780521718202
IR
25080
انگلیسی
IR
Finite and algorithmic model theory
[Book]
/ edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Cambridge
: Cambridge University Press
, 2011.
xi, 341 p.
: ill.
(London Mathematical Society lecture note series
; 379)
Includes index
Machine generated contents note: Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automata-based presentations of infinite structures Vince Barany, 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 meta-theorems 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
Finite model theory
Computer science -- Mathematics
511
.
3/4
QA
9
.
7
.
F565
2011
Esparza, Javier, ed
Michaux, Christian, ed
Steinhorn, Charles, ed
Iran
University of Tehran. College of Science Library
511.3/4
old catalog
BL
1
a
Y
