Vu,Thuy Duong先生 无干扰的线程代数。 (英语) Zbl 1166.68007号 西奥。通知。申请。 43,第2期,249-268(2009).MSC公司:68甲15 第68页第19页 68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{T.D.Vu},Theor。通知。申请。43,第2号,249--268(2009;Zbl 1166.68007) 全文: 内政部 欧洲DML 链接
塞萨尔·多明格斯;Laureano Lambán;朱利奥·鲁比奥 面向对象的机构指定符号计算系统。 (英语) Zbl 1146.68481号 西奥。通知。申请。 41,编号2191-214(2007).MSC公司:68瓦30 第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}等人,Theor。通知。申请。41,第2号,191--214(2007;Zbl 1146.68481) 全文: 内政部 Numdam编号 链接