加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 RDF模式的描述性类型基础。 (英语) Zbl 1348.68032号 J.日志。代数。方法计划。 85,第5号,第1部分,681-706(2016).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人,J.Log。代数。方法计划。85,第5号,第1部分,681--706(2016;Zbl 1348.68032) 全文: 内政部
加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 链接数据使用者的最小类型推断。 (英语) 兹比尔1329.68085 J.日志。代数。方法计划。 84,第4期,485-504(2015).MSC公司:68第05页 68英里11 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}等人,J.日志。代数。方法计划。84,第4号,485--504(2015;Zbl 1329.68085) 全文: 内政部 arXiv公司