000			03160cam a22004574a 4500
001			16540467
003			BD-DhUL
005			20140823191138.0
008			101116s2011 enka b 001 0 eng
010			_a 2010048062
015			_aGBB0A7488 _2bnb
016	7		_a015644102 _2Uk
020			_a9780521718202 (pbk.)
020			_a0521718201 (pbk.)
035			_a(OCoLC)ocn663441246
040			_aDLC _cBD-DhUL _dBD-DhUL _dUKM _dYDXCP _dIXA _dSTF _dCOO _dPUL _dCDX _dDLC
042			_apcc
050	0	0	_aQA9.7 _b.F565 2011
082	0	0	_a511.34 _221 _bFIN
084			_aMAT018000 _2bisacsh
245	0	0	_aFinite and algorithmic model theory / _cedited by Javier Esparza, Christian Michaux, Charles Steinhorn.
260			_aCambridge ; _aNew York : _bCambridge University Press, _c2011.
300			_axi, 341 p. : _bill. ; _c23 cm.
365			_aUSD _b58.50
490	1		_aLondon Mathematical Society lecture note series ; _v379
504			_aIncludes bibliographical references and index.
504			_aIncludes bibliographical references.
505	0		_aPreface / Javier Esparza, Christian Michaux and Charles Steinhorn -- Automata-based presentations of infinite structures / Vince Bárány, Erich Grä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 -- Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn -- Algorithmic meta-theorems / Stephan Kreutzer -- Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto.
520			_a"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 model-theoretic 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.
650		0	_aFinite model theory.
650		0	_aComputer science _xMathematics.
700	1		_aEsparza, Javier.
700	1		_aMichaux, Christian.
700	1		_aSteinhorn, Charles.
830		0	_aLondon Mathematical Society lecture note series ; _v379.
856	4	2	_3Cover image _uhttp://assets.cambridge.org/97805217/18202/cover/9780521718202.jpg
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK
955			_bxj10 2010-11-16 _cxj10 2010-11-16 ONIX to STM _axd12 2011-06-09 1 copy rec'd., to CIP ver.
955			_bxj10 2010-11-16 _cxj10 2010-11-16 ONIX to STM _axd12 2011-06-09 1 copy rec'd., to CIP ver.
999			_c5373 _d5373