algebraic specification - Robuta Search

https://arxiv.org/abs/1107.5897 [1107.5897] An Algebraic Specification of the Semantic Web Abstract page for arXiv paper 1107.5897: An Algebraic Specification of the Semantic Web algebraic specification of the 1107 5897 semantic