Zero-one laws for Gilbert random graphs

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 360-369

  McColm, Gregory L ^a  

^a UNIVERSITY OF SOUTH FLORIDA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; RANDOM PROCESSES; THEOREM PROVING;

GILBERT RANDOM GRAPHS; METRIC SPACE; ZERO ONE LAWS;

GRAPH THEORY;

EID: 0029722660     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)