000			02240n a2200373#a 4500
001			10547
003			P5A
005			20240404163416.0
008			970325s1997 riua b 100 0 eng||
010			_a97010666
020			_a0821805789 (alk. paper)
035			_aocm36656447
035			_aRecord 19633
040			_aDLC _cDLC _dPMC
049			_aP5AA
082	0	0	_a511.3 _bL832
090			_alf2cs
245	0	0	_aLogic and random structures: _bDIMACS workshop, November 5-7, 1995/ _cRavi B. Boppana, James F. Lynch, editors.
260			_aProvidence, R.I.: _bAmerican Mathematical Society, _cc1997.
300			_axi, 130 p.: _bill.; _c27 cm.
500			_a"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."
504			_aIncludes bibliographical references.
505	0	0	_aNear 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 .
650	0	0	_aComputer science- _xMathematics _xCongresses. _929119
650	0	4	_aLogic, Symbolic and mathematical- _xCongresses. _944080
697			_aLógica e Fundamentos 02- _bCongressos e Seminários- _xLógica Matemática e Funções Recursivas _923784
700	1		_aBoppana, Ravi B. _q(Ravi Bopu), _d1963- _936616
700	1		_aLynch, James F., _d1947- _936617
710	2		_aDIMACS (Group). _935432
710	2		_aNSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. _936098
942			_2impa _cBK
999			_c11495 _d11495
490		0	_aDIMACS series in discrete mathematics and theoretical computer science; _v33. _935430