Logic and random structures: DIMACS workshop, November 5-7, 1995/ Ravi B. Boppana, James F. Lynch, editors. - Providence, R.I.: American Mathematical Society, c1997. - xi, 130 p.: ill.; 27 cm. - DIMACS series in discrete mathematics and theoretical computer science; 33. .

"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 .

0821805789 (alk. paper)

97010666


Computer science---Mathematics--Congresses.
Logic, Symbolic and mathematical---Congresses.

511.3 / L832