Sciweavers

APAL
2004
67views more  APAL 2004»
13 years 10 months ago
Algorithmic uses of the Feferman-Vaught Theorem
The classical Feferman
Johann A. Makowsky
APAL
2004
73views more  APAL 2004»
13 years 10 months ago
Shrinking games and local formulas
Gaifman's normal form theorem showed that every first order sentence of quantifier rank n is equivalent to a Boolean combination of "scattered local sentences", whe...
H. Jerome Keisler, Wafik Boulos Lotfallah
STACS
1998
Springer
14 years 3 months ago
Random Sparse Bit Strings at the Threshold of Adjacency
d Abstract appeared in STACS `98) Joel H. Spencer1 and Katherine St. John2 1 Courant Institute, New York University, New York, NY 10012 2 Department of Mathematics, Santa Clara Uni...
Joel Spencer, Katherine St. John