Logic and random structures : DIMACS workshop, November 5-7, 1995 / Ravi B. Boppana, James F. Lynch, editors.

Format Book
Publication InfoProvidence, RI : American Mathematical Society, ©1997.
Descriptionxi, 130 pages : illustrations ; 27 cm.
Subjects
Computer science--Mathematics. --Congresses.
Logic, Symbolic and mathematical--Congresses.

Other author/creatorBoppana, Ravi B. (Ravi Bopu), 1963-
Other author/creatorLynch, James F., 1947-
Other author/creatorDIMACS series in discrete mathematics and theoretical computer science.
Other author/creatorNSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science.
SeriesDIMACS series in discrete mathematics and theoretical computer science ; v. 33
DIMACS series in discrete mathematics and theoretical computer science ; v. 33. ^A467230
Contents 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.
General note"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."
Bibliography noteIncludes bibliographical references.
LCCN 97010666
ISBN0821805789 (alk. paper)