Travelled to:2 × USA
Collaborated with:∅ E.Grädel
Talks about:nondeterminist (1) determinist (1) transit (1) gilbert (1) random (1) closur (1) logic (1) graph (1) zero (1) one (1)
Person: Gregory L. McColm
DBLP: McColm:Gregory_L=
Contributed to:
19961992Wrote 2 papers:
- LICS-1996-McColm #graph #random
- Zero-One Laws for Gilbert Random Graphs (GLM), pp. 360–369.
- LICS-1992-GraedelM #logic #nondeterminism #transitive
- Deterministic vs. Nondeterministic Transitive Closure Logic (EG, GLM), pp. 58–63.