BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
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 DBLP: McColm:Gregory_L=

Contributed to:

LICS 19961996
LICS 19921992

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.