哈拉尔赞克尔;莎拉·温克勒;阿尔特·米德尔多普 超越多项式和皮亚诺算法——初等和序数解释的自动化。 (英语) Zbl 1315.68168号 J.塞姆。计算。 69, 129-158 (2015).MSC公司:2012年第68季度 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Symb。计算。69、129--158(2015;Zbl 1315.68168) 全文: 内政部
费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 UML服务模型的可访问验证环境。 (英语) Zbl 1215.68065号 J.塞姆。计算。 46,第2期,119-149(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Banti}等人,J.Symb。计算。46,No.2,119--149(2011;Zbl 1215.68065) 全文: 内政部
夏碧灿;张志海 具有非线性约束的线性规划的终止。 (英语) Zbl 1208.68151号 J.塞姆。计算。 45,第11期,1234-1249(2010).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Xia}和\textit{Z.Zhang},J.Symb。计算。45,编号11234--1249(2010年;Zbl 1208.68151) 全文: 内政部
安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 插值的约束求解。 (英语) Zbl 1213.68389号 J.塞姆。计算。 45,第11期,1212-1233(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rybalchenko}和\textit{V.Sofronie-Stokkermans},J.Symb。计算。45,第11号,1212--1233(2010;Zbl 1213.68389) 全文: 内政部
阿里·米莉;谢尔·亚哈龙;查塔尼亚·纳德卡尼;吉拉尼、拉米亚·拉贝德;阿斯玛·卢希奇;奥尔法·姆拉伊 自反传递不变关系:计算循环函数的基础。 (英语) Zbl 1208.68150号 J.塞姆。计算。 45,第11期,1114-1143(2010).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,J.Symb。计算。45,第11号,1114--1143(2010;Zbl 1208.68150) 全文: 内政部
佐藤真彦;兰迪·波拉克 \(\lambda\)-演算的外部和内部语法。 (英语) Zbl 1192.68140号 J.塞姆。计算。 45,第5期,598-616(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Sato}和\textit{R.Pollack},J.Symb。计算。45,第5号,598--616(2010;Zbl 1192.68140) 全文: 内政部
马可·波扎诺;乔治·德尔扎诺 密码协议线性逻辑规范的保密属性的自动验证。 (英语) 兹比尔1137.68431 J.塞姆。计算。 38,第5期,1375-1415(2004).MSC公司:60年第68季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}和\textit{G.Delzanno},J.Symb。计算。38,第5号,1375--1415(2005;Zbl 1137.68431) 全文: 内政部
皮埃尔·弗莱纳;刘恭桥;马里奥·奥尔纳吉;朱利安·理查森 程序综合正确模式的抽象形式化。 (英语) Zbl 0959.68013号 J.塞姆。计算。 30,第1期,93-127(2000).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Flener}等人,J.Symb。计算。30,编号1,93-127(2000年;兹bl 0959.68013) 全文: 内政部
安德森,佩妮;戴维·巴恩斯 作为派生规则的程序开发模式。 (英语) Zbl 1015.68176号 J.塞姆。计算。 30,第1期,5-36页(2000年).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Anderson}和\textit{D.Basin},J.Symb。计算。30,第1号,第5--36号(2000;Zbl 1015.68176) 全文: 内政部 链接