克拉拉·贝托利西;玛丽贝尔·费尔南德斯 分布式环境访问控制的元模型:应用程序和属性。 (英语) Zbl 1360.68206号 Inf.计算。 238, 187-207 (2014).MSC公司:64岁以下 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Bertolissi}和\textit{M.Fernández},Inf.Comput。238187-207(2014年;Zbl 1360.68206) 全文: 内政部
路易吉·利科里;西蒙娜·隆奇·德尔拉·罗卡 交叉口类型为教堂。 (英语) Zbl 1125.68031号 Inf.计算。 205,第9期,1371-1386(2007).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Liquori}和\textit{S.Ronchi Della Rocca},Inf.Compute。205,第9号,1371--1386(2007;Zbl 1125.68031) 全文: 内政部 哈尔
迪莉娅·凯斯纳;斯特凡·伦格兰德 \(\lambda\)-演算的资源运算符。 (英语) Zbl 1111.68018号 Inf.计算。 205,第419-473号(2007年).MSC公司:68甲18 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{S.Lengrand},Inf.Comput。205,第4号,419--473(2007;Zbl 1111.68018) 全文: 内政部
圣埃芬伦格兰;皮埃尔·莱斯坎;丹·多尔蒂;马里亚纽拉州Dezani-Ciancaglini;范·贝克尔,斯特芬 显式替换的交集类型。 (英语) Zbl 1082.68014号 Inf.计算。 189,第1期,17-42(2004).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Lengrand}等人,《Inf.Compute》。189,编号1,17--42(2004;Zbl 1082.68014) 全文: 内政部
久田俊彦 描述有限Böhm-树的交集和单点类型赋值。 (英语) Zbl 1012.03023号 Inf.计算。 178,第1期,第1-11页(2002年).MSC公司:03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.Kurata},信息计算。178,编号1,1--11(2002;Zbl 1012.03023) 全文: 内政部
范·贝克尔,斯特芬;玛丽贝尔·费尔南德斯 可键入重写系统的规范化结果。 (英语) Zbl 0877.68072号 Inf.计算。 133,第2期,第73-116页(1997年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}和\textit{M.Fernández},Inf.Compute。133,编号2,73--116(1997;Zbl 0877.68072) 全文: 内政部 链接