A Semilattice Model for the Theory Grid

Jingde Cheng. A Semilattice Model for the Theory Grid. In Third International Conference on Semantics, Knowledge and Grid, Xian, Shan Xi, China, October 29-31, 2007. pages 152-157, IEEE Computer Society, 2007. [doi]

Abstract

Abstract is missing.