斯特凡尼德劳恩;帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特雷宁 单体方程理论的符号协议分析。 (英语) Zbl 1148.68325号 Inf.计算。 206,编号2-4,312-351(2008).MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}等人,《信息计算》。206,编号2--4,312--351(2008;Zbl 1148.68325) 全文: 内政部
帕斯卡·拉福卡德;丹尼斯·卢吉兹;拉尔夫·特里宁 分布式加密阿贝尔群方程理论的入侵推理。 (英语) Zbl 1112.68048号 Inf.计算。 205,第4期,581-623(2007).MSC公司:68第25页 60年第68季度 68吨15 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lafourcade}等人,《信息计算》。205,第4号,581--623(2007;Zbl 1112.68048) 全文: 内政部