Logic and random structures: DIMACS workshop, November 5-7, 1995/
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
"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