Model theoretic methods in finite combinatorics : AMSASL joint special session, January 58, 2009, Washington, DC

Contributor(s): Grohe M | Makowsky Johann AMaterial type: Computer fileComputer fileSeries: Contemporary mathematics ; v. 558Publication details: Providence, R.I. : American Mathematical Society, c2011Description: 1 online resource (viii, 519 p. : ill.)ISBN: 9780821882375 (online)Subject(s): Biology and other natural sciences | Combinatorial probabilities | Finite model theory | MathematicsOnline resources: Click here to access online
Contents:
Application of logic to combinatorial sequences and their recurrence relations ; Spectra and systems of equations ; Compton's method for proving logical limit laws ; Logical complexity of graphs: A survey ; Methods for algorithmic meta theorems ; On counting generalized colorings ; Counting homomorphisms and partition functions ; Some examples of universal and generic partial orders ; Two problems on homogeneous structures, revisited ; On symmetric indivisbility of countable structures ; Partitions and permutation groups ; (Un)countable and (non)effective versions of Ramsey's theorem ; Reducts of Ramsey structures Eldar Fischer Tomer Kotek and Johann A Makowsky ; Jason P Bell Stanley N Burris and Karen Yeats ; Jason P Bell and Stanley N Burris ; Oleg Pikhurko and Oleg Verbitsky ; Martin Grohe and Stephan Kreutzer ; Tomer Kotek Johann A Makowsky and Boris Zilber ; Martin Grohe and Marc Thurley ; Jan Hubicka and Jaroslav Nesetril ; Gregory Cherlin ; Assaf Hasson Menachem Kojman and Alf Onshuus ; Andreas Blass ; Dietrich Kuske ; Manuel Bodirsky and Michael Pinsker
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book ICTS
Link to resource Accessible Online EBK21562
Total holds: 0

Includes bibliographical references.

Application of logic to combinatorial sequences and their recurrence relations ; Spectra and systems of equations ; Compton's method for proving logical limit laws ; Logical complexity of graphs: A survey ; Methods for algorithmic meta theorems ; On counting generalized colorings ; Counting homomorphisms and partition functions ; Some examples of universal and generic partial orders ; Two problems on homogeneous structures, revisited ; On symmetric indivisbility of countable structures ; Partitions and permutation groups ; (Un)countable and (non)effective versions of Ramsey's theorem ; Reducts of Ramsey structures Eldar Fischer Tomer Kotek and Johann A Makowsky ; Jason P Bell Stanley N Burris and Karen Yeats ; Jason P Bell and Stanley N Burris ; Oleg Pikhurko and Oleg Verbitsky ; Martin Grohe and Stephan Kreutzer ; Tomer Kotek Johann A Makowsky and Boris Zilber ; Martin Grohe and Marc Thurley ; Jan Hubicka and Jaroslav Nesetril ; Gregory Cherlin ; Assaf Hasson Menachem Kojman and Alf Onshuus ; Andreas Blass ; Dietrich Kuske ; Manuel Bodirsky and Michael Pinsker

There are no comments on this title.

to post a comment.