刘江超;对手,泽维尔 基于非连续分区的数组内容静态分析。 (英语) Zbl 1379.68096号 计算。语言系统。结构。 47,第1部分,104-129(2017).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{X.对手},计算。语言系统。结构。47,第1部分,104--129(2017;Zbl 1379.68096) 全文: 内政部 哈尔
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集和半代数集的正不变性的证明规则层次。 (英语) Zbl 1379.68238号 计算。语言系统。结构。 47,第1部分,19-43(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghorbal}等人,计算。语言系统。结构。47,第1部分,19-43(2017;Zbl 1379.68238) 全文: 内政部
阿图尔·科尔尼·奥维茨 Mizar的弯曲连接词。 (英语) Zbl 1387.68207号 计算。语言系统。结构。 44,C部分,238-250(2015).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Korniłowicz},计算。语言系统。结构。44,C部分,238--250(2015;Zbl 1387.68207) 全文: 内政部
马克斯·卡诺维奇;塔贾纳·班·基里金;Vivek Nigam先生;安德烈·斯克洛夫 有限内存协议。 (英语) Zbl 1308.68055号 计算。语言系统。结构。 40,第3-4号,137-154(2014).MSC公司:68第25页 68M10个 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《计算》。语言系统。结构。40,编号3--4,137-154(2014;Zbl 1308.68055) 全文: 内政部
吉尔·巴特;塔玛拉·雷兹克;阿弥陀佛巴苏 保存编译的安全类型。 (英语) Zbl 1109.68025号 计算。语言系统。结构。 33,第2期,35-59(2007).MSC公司:68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,计算。语言系统。结构。33,第2号,35-59(2007;Zbl 1109.68025) 全文: 内政部
阿姆托夫特,托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 环境微积分中的有序通信。 (英语) Zbl 1051.68029号 计算。语言系统。结构。 28,第1期,29-60(2002).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft}等人,计算。语言系统。结构。28,第1号,第29--60条(2002;Zbl 1051.68029) 全文: 内政部