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

Contributor(s):

Series: DIMACS series in discrete mathematics and theoretical computer science ; 33.Publication details: Providence, R.I.: American Mathematical Society, c1997.Description: xi, 130 p.: ill.; 27 cmISBN:

0821805789 (alk. paper)

Subject(s):

DDC classification:

511.3 L832

Contents:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 L832 1997 IMPA (Browse shelf(Opens below))	1	Available		39063000098676

Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)

Previous		No cover image available No cover image available			No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	511.3 L832 1982 IMPA Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979/	511.3 L832 1983 IMPA Logic in the 20th century: a series of papers on the present state and tendencies of studies/	511.3 L832 1996 IMPA Logic: from foundation to applications : European logic colloquium/	511.3 L832 1997 IMPA Logic and random structures: DIMACS workshop, November 5-7, 1995/	511.3 L869e 1955 IMPA Einführung in die operative Logik und Mathematik/	511.3 L869f 1958 IMPA Formale Logik.	511.3 L869m 1967 IMPA Métamathématique/	Next

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

There are no comments on this title.

to post a comment.