Sciweavers

FUIN
2010
67views more  FUIN 2010»
13 years 2 months ago
Properties of Almost All Graphs and Generalized Quantifiers
We study 0-1 laws for extensions of first-order logic by Lindstr
Anuj Dawar, Erich Grädel