费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 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.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) 全文: 内政部
斯特凡·考尔;温克勒,Jürgen F.H。 for-lops不变量的机械推断。 (英语) Zbl 1208.68147号 J.塞姆。计算。 45,第11期,1101-1113(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kauer}和\textit{J.F.H.Winkler},J.Symb。计算。45,第11号,1101--1113(2010;Zbl 1208.68147) 全文: 内政部
罗德里格斯-卡博内尔,E。;卡普尔,D。 在简单循环中生成所有多项式不变量。 (英语) Zbl 1121.13034号 J.塞姆。计算。 42,第4号,443-466(2007).MSC公司:13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Rodríguez-Carbonell}和\textit{D.Kapur},J.Symb。计算。42,第4号,443--476(2007;Zbl 1121.13034) 全文: 内政部
S.M.布莱恩。;马丁·A·P。 Z中模式的演算。 (英语) Zbl 0962.68112号 J.塞姆。计算。 30,第1期,63-91(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Brien}和\textit{A.P.Martin},J.Symb。计算。30,编号1,63--91(2000;Zbl 0962.68112) 全文: 内政部 链接
纳鸿·德肖维茨;Lee,Yuh-Jeng先生 逻辑调试。 (英语) Zbl 0804.68089号 J.塞姆。计算。 15,编号5-6,745-773(1993).MSC公司:60年第68季度 68N17号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和textit{Y.-J.Lee},J.Symb。计算。15,编号5--6,745--773(1993;Zbl 0804.68089) 全文: 内政部
纳鸿·德肖维茨;美国雷迪。 方程式程序的演绎和归纳综合。 (英语) Zbl 0791.68106号 J.塞姆。计算。 15,编号5-6,467-494(1993).MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{U.S.Reddy},J.Symb。计算。15,编号5--6,467--494(1993;Zbl 0791.68106) 全文: 内政部
谢克曼,Jörg H。 统一理论。 (英语) Zbl 0678.68098号 J.塞姆。计算。 7,编号3-4,207-274(1989).MSC公司:第68页第15页 68问题65 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Siekmann},J.Symb。计算。7,编号3--4,207--274(1989;Zbl 0678.68098) 全文: 内政部
格特·斯莫尔卡;哈桑·艾特·卡奇 继承层次:语义和统一。 (英语) Zbl 0678.68009号 J.塞姆。计算。 7,编号3-4,343-370(1989).MSC公司:60年第68季度 第68页第15页 68瓦30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka}和\textit{H.Ait-Kaci},J.Symb。计算。7,编号3--4,343--370(1989;Zbl 0678.68009) 全文: 内政部
罗伯特·佩奇;弗里茨·亨利恩 将集合论问题规范机械地转换为有效的RAM代码-案例研究。 (英语) Zbl 0641.68025号 J.塞姆。计算。 4, 207-232 (1987).MSC公司:60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Paige}和\textit{F.Henglein},J.Symb。计算。4207--232(1987年;Zbl 0641.68025) 全文: 内政部
安娜·帕兹托 非标准算法和动态逻辑。 (英语) Zbl 0594.68032号 J.塞姆。计算。 2,59-81(1986年). 审核人:R.霍斯 MSC公司:68问题65 60年第68季度 68-02 03B45 99年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Pasztor},J.Symb。计算。259--81(1986;Zbl 0594.68032) 全文: 内政部