Collaborative Computational Project Number 4 (current) Borůvka's algorithm Tree (abstract data type) Problem of induction Sigma-additive set function Center for the Study of Language and Information Reference designator