Logic and random structures : DIMACS workshop, November 5-7, 1995 /
Boppana, Ravi B.(Ravi Bopu),1963-
Lynch, James F.,1947-
DIMACS (Group)
NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
Providence, R.I. : American Mathematical Society,
c1997.
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore."
Includes bibliographical references.
Near model completeness and 0-1 laws / John T. Baldwin -- Smoothness laws for random ordered graphs / Ravi B. Boppana and Joel Spencer -- Spectrally determined first-order limit laws / Stanley Burris -- The asymptotic behavior of L[superscript k][sbnb] on sparse random graphs / Monica McArthur -- k-universal finite graphs / Eric Rosen, Saharon Shelah, and Scott Weinstein -- Monadic second order probabilities in algebra : directly representable varieties and groups / Pawel M. Idziak and Jerzy Tyszkiewicz -- Approximating the structures accepted by a constant depth circuit or satisfying a sentence : a nonstandard approach / Alan R. Woods.
Computer science
Logic, Symbolic and mathematical