Articles liés à Model Theoretic Methods in Finite Combinatorics: Ams-asl...

Model Theoretic Methods in Finite Combinatorics: Ams-asl Joint Special Session, January 5-8, 2009, Washington, Dc - Couverture souple

 
9780821849439: Model Theoretic Methods in Finite Combinatorics: Ams-asl Joint Special Session, January 5-8, 2009, Washington, Dc

Synopsis

Over the last 20 years, various new connections between model theory and finite combinatorics have emerged. This volume highlights some of the main results, techniques, and research directions of the area. Topics covered include developments on 0-1 laws and their variations, counting functions defined by homomorphisms and graph polynomials and their relation to logic, recurrences and spectra, the logical complexity of graphs, algorithmic meta theorems based on logic, and logical aspects of Ramsey theory.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.