雷娜塔·德·弗雷塔斯;维亚纳,佩特鲁西奥 关于图的证明的注记。 (英语) Zbl 1178.68386号 科学。计算。程序。 73,编号2-3,129-135(2008).MSC公司:68兰特 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.de Freitas}和\textit{P.Viana},科学。计算。程序。73,编号2--3,129-135(2008;Zbl 1178.68386) 全文: 内政部
Vu,Thuy Duong先生 转到程序代数中的消去。 (英语) Zbl 1178.68129号 科学。计算。程序。 73,编号2-3,95-128(2008).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.D.Vu},科学。计算。程序。73,编号2--3,95-128(2008;Zbl 1178.68129) 全文: 内政部
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;安吉洛·特洛伊娜 在定时框架中设计和验证长时间运行的事务。 (英语) Zbl 1170.68024号 科学。计算。程序。 73,编号2-3,76-94(2008).MSC公司:65年第68季度 第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,科学。计算。程序。73,编号2--3,76-94(2008;Zbl 1170.68024) 全文: 内政部
毛里齐奥·齐马达莫雷;米尔科·维罗利 关于Java通配符的具体化。 (英语) Zbl 1162.68392号 科学。计算。程序。 73,编号2-3,59-75(2008).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cimadamore}和\textit{M.Viroli},科学。计算。程序。73,编号2--3,59-75(2008;Zbl 1162.68392) 全文: 内政部