TY  - BOOK
AU  - Grohe,M.
AU  - Makowsky,Johann A.
ED  - AMS-ASL Joint Special Session on Model Theoretic Methods in Finite Combinatorics
ED  - American Mathematical Society.
ED  - Association for Symbolic Logic.
TI  - Model theoretic methods in finite combinatorics: AMS-ASL joint special session, January 5-8, 2009, Washington, DC 
T2  - Contemporary mathematics, 
SN  - 9780821882375 (online)
AV  - QA9.7 .M583 2009
U1  - 519.2 23
PY  - 2011///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Finite model theory
KW  - Congresses
KW  - Combinatorial probabilities
KW  - Mathematics
KW  - msc
KW  - Biology and other natural sciences
N1  - Includes bibliographical references; Application of logic to combinatorial sequences and their recurrence relations; Eldar Fischer, Tomer Kotek and Johann A. Makowsky --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11047; Spectra and systems of equations; Jason P. Bell, Stanley N. Burris and Karen Yeats --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11048; Compton's method for proving logical limit laws; Jason P. Bell and Stanley N. Burris --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11049; Logical complexity of graphs: A survey; Oleg Pikhurko and Oleg Verbitsky --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11050; Methods for algorithmic meta theorems; Martin Grohe and Stephan Kreutzer --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11051; On counting generalized colorings; Tomer Kotek, Johann A. Makowsky and Boris Zilber --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11052; Counting homomorphisms and partition functions; Martin Grohe and Marc Thurley --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11053; Some examples of universal and generic partial orders; Jan Hubi�cka and Jaro�slav Ne�set�ril --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11054; Two problems on homogeneous structures, revisited; Gregory Cherlin --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11055; On symmetric indivisbility of countable structures; Assaf Hasson, Menachem Kojman and Alf Onshuus --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11056; Partitions and permutation groups; Andreas Blass --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11060; (Un)countable and (non)effective versions of Ramsey's theorem; Dietrich Kuske --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11057; Reducts of Ramsey structures; Manuel Bodirsky and Michael Pinsker --; http://www.ams.org/conm/558; http://dx.doi.org/10.1090/conm/558/11058; Access is restricted to licensed institutions; Electronic reproduction; Providence, Rhode Island; American Mathematical Society; 2012
UR  - http://www.ams.org/conm/558/
UR  - http://dx.doi.org/10.1090/conm/558
ER  -