책 이미지
eBook 미리보기
책 정보
· 제목 : Finite and Algorithmic Model Theory (Paperback)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 일반
· ISBN : 9780521718202
· 쪽수 : 356쪽
· 출판일 : 2011-03-10
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 일반
· ISBN : 9780521718202
· 쪽수 : 356쪽
· 출판일 : 2011-03-10
목차
Preface Javier Esparza, Christian Michaux and Charles Steinhorn; Automata-based presentations of infinite structures Vince Barany, Erich Gradel 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.
