mallory-bolmer documents

Standards 3 Case study Research questions 1) Haskell spec of RDF inference program 2) Soundness and completeness 3) What logics? 4) optimization 5)
Documents Standards 3 Case study Research questions 1) Haskell spec of RDF inference program 2) Soundness and completeness 3) What logics? 4) optimization 5)