000			03166cam a22004454a 4500
001			16540467
003			OSt
005			20150408114205.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 _cDLC _dYDX _dUKM _dYDXCP _dIXA _dSTF _dCOO _dPUL _dCDX _dDLC
042			_apcc
050	0	0	_aQA9.7 _b.F565 2011
082	0	0	_a511.34 _222 _bFIA
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.
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�ar�any, Erich Gr�adel 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. _942585
650		0	_aComputer science _xMathematics.
700	1		_aEsparza, Javier. _942586
700	1		_aMichaux, Christian. _942587
700	1		_aSteinhorn, Charles. _942588
830		0	_aLondon Mathematical Society lecture note series ; _v379. _942589
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 _cDVD
999			_c33409 _d267909