帕斯卡·乔治;布鲁诺·格蕾特;佩雷特·杜·克雷(Perret du Cray,Armelle) 多项式模块化产品验证及其启示。 (英语) Zbl 07621047号 J.塞姆。计算。 116, 98-129 (2023).MSC公司:68瓦xx 68季度xx 12年xx月 PDF格式BibTeX公司 XML格式引用 \textit{P.Giorgi}等人,J.Symb。计算。116、98--129(2023;Zbl 07621047) 全文: 内政部 arXiv公司
纪尧姆·梅尔金德;拉斐尔·里乌·赫尔夫特 WhyMP,一个正式验证的任意决策整数库。 (英语) Zbl 07589741号 J.塞姆。计算。 115、74-95(2023年).MSC公司:68新元 68次发射 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Melquiond}和\textit{R.Rieu-Helft},J.Symb。计算。115、74-95(2023年;Zbl 07589741) 全文: 内政部
蒂莫西·达夫;尼克拉斯·海因;弗兰克·索蒂尔 通过平方子系统认证多项式系统。 (英语) Zbl 1476.14103号 J.塞姆。计算。 109, 367-385 (2022). 审核人:Juan C.Migliore(圣母院) MSC公司:2016年第14季度 65G20个 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{T.Duff}等人,J.Symb。计算。109367--385(2022年;Zbl 1476.14103) 全文: 内政部 arXiv公司
马丁·布罗姆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 线性整数求解的完全终止方法。 (英语) Zbl 1432.68597号 J.塞姆。计算。 100, 102-136 (2020).MSC公司:68瓦30 60年第68季度 2007年4月68日 68伏15 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人,J.Symb。计算。100102-136(2020年;Zbl 1432.68597) 全文: 内政部 哈尔
曼弗雷德·施密特·沙乌;大卫·萨贝尔;尤努斯·库茨。 原子变量的名义统一。 (英语) Zbl 1395.68096号 J.塞姆。计算。 90,42-64(2019).MSC公司:68号30 2017年第68季度 65年第68季度 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,J.Symb。计算。90、42-64(2019年;Zbl 1395.68096) 全文: 内政部
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:共创方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125-163(2017;兹bl 1356.68044) 全文: 内政部 哈尔
詹斯·努普;劳拉·科瓦奇;雅各布兹维奇梅尔 用实证知识取代猜测:使用符号执行推断出经验证的精确最坏情况执行时间界限。 (英语) Zbl 1356.68041号 J.塞姆。计算。 80,第1部分,101-124(2017).MSC公司:68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Knoop}等人,J.Symb。计算。80,第1部分,101-124(2017;Zbl 1356.68041) 全文: 内政部 链接
戴丽云;甘婷;夏碧灿;詹乃军 重审屏障证书。 (英语) Zbl 1357.68110号 J.塞姆。计算。 80,第1部分,62-86(2017).MSC公司:60年第68季度 68瓦30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}等人,J.Symb。计算。80,第1部分,62--86(2017;Zbl 1357.68110) 全文: 内政部 arXiv公司
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) Zbl 1356.68012号 J.塞姆。计算。 80,第1部分,4-26(2017).MSC公司:68英里11 68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,4--26(2017;Zbl 1356.68012) 全文: 内政部 arXiv公司 链接
都铎Jebelean(编辑);李伟(编辑);王东明(编辑) 关于程序验证、自动调试和符号计算的专题。 (英语) 兹比尔1360.00099 J.塞姆。计算。 80,第1部分,1-3(2017).MSC公司:00B15号机组 68-06 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Jebelean}(编辑)等,J.Symb。计算。80,第1部分,1--3(2017;Zbl 1360.00099) 全文: 内政部
高弘久保田;川谷义彦;加藤,走;川野康仁;樱田秀树 量子密码协议安全证明的半自动验证。 (英语) Zbl 1336.68164号 J.塞姆。计算。 73192-220(2016).MSC公司:60年第68季度 68问题85 68吨15 81页94 PDF格式BibTeX公司 XML格式引用 \textit{T.Kubota}等人,J.Symb。计算。73192-220(2016年;Zbl 1336.68164) 全文: 内政部
瓦利德·贝尔基尔;亚尼克·骑士;迈克尔·鲁西诺维奇 参数化自动机仿真及其在服务组合中的应用。 (英语) Zbl 1314.68035号 J.塞姆。计算。 69, 40-60 (2015).MSC公司:68英里11 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}等人,J.Symb。计算。69,40-60(2015年;兹bl 1314.68035) 全文: 内政部
Alpunte,M。;Ballis,D。;弗雷奇纳,F。;萨皮尼亚,J。 探索条件重写逻辑计算。 (英语) Zbl 1315.68166号 J.塞姆。计算。 69, 3-39 (2015).MSC公司:2012年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Symb。计算。69、3--39(2015年;Zbl 1315.68166) 全文: 内政部
阿黛尔·布胡拉(编辑) 软件科学中符号计算专题。 (英语) Zbl 1304.00041号 J.塞姆。计算。 69, 1-2 (2015).MSC公司:00B25型 68-06 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouhoula}(编辑),J.Symb。计算。69,1--2(2015;Zbl 1304.00041) 全文: 内政部
秦胜超;何冠华;罗晨光;魏恩根·钦;陈欣 组合抽象域中的循环不变综合。 (英语) Zbl 1256.68044号 J.塞姆。计算。 50, 386-408 (2013).MSC公司:68号30 68甲19 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Qin}等人,J.Symb。计算。50386--408(2013;Zbl 1256.68044) 全文: 内政部
徐明;李志斌 可解循环的符号终止分析。 (英语) Zbl 1253.68224号 J.塞姆。计算。 50, 28-49 (2013).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}和\textit{Z.-B.Li},J.Symb。计算。50,28-49(2013年;兹比尔1253.68224) 全文: 内政部
彼得·施拉梅尔;贝特朗·珍妮特 将抽象加速应用于反应式程序的(协同)可达性分析。 (英语) 兹比尔1286.68092 J.塞姆。计算。 47,第12期,1512-1532(2012).MSC公司:68号30 60年第68季度 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}和\textit{B.Jeannet},J.Symb。计算。47、第12号1512-1532(2012;Zbl 1286.68092) 全文: 内政部
奥利维尔·布瓦索;亚萨米娜·塞拉吉;亚历山大·查普托 数值程序分析中抽象不动点计算的加速。 (英语) Zbl 1244.68029号 J.塞姆。计算。 47,第12期,1479-1511(2012).MSC公司:68号30 65比99 PDF格式BibTeX公司 XML格式引用 \textit{O.Bouissou}等人,J.Symb。计算。47,第12号,1479--1511(2012;Zbl 1244.68029) 全文: 内政部
卡拉科蒂,K。 模态演算和泛型解中的模型检查。 (英语) Zbl 1211.68249号 J.塞姆。计算。 46,第5期,584-594(2011).MSC公司:60年第68季度 2017年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Kalorkoti},J.Symb。计算。46,第5号,584--594(2011;Zbl 1211.68249) 全文: 内政部
克里斯托夫·舒尔茨;Löwe,迈克尔;哈拉尔德·科尼格 面向对象系统转换的分类框架:模型和数据。 (英语) Zbl 1211.68259号 J.塞姆。计算。 46,第3号,316-337(2011).MSC公司:68问题65 18个40 68个P01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}等人,J.Symb。计算。46,第3号,316-337(2011;Zbl 1211.68259) 全文: 内政部
克里斯蒂安·施恩伯格;弗兰茨·魏特尔;伯克哈德·弗雷塔格 验证基于web的技术文档的一致性。 (英语) Zbl 1213.68609号 J.塞姆。计算。 46,第2期,183-206(2011).MSC公司:68立方英尺 68英里11 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schönberg}等人,J.Symb。计算。46,第2号,183--206(2011;Zbl 1213.68609) 全文: 内政部
泽夫·赫梅尔;Danny M.Groenewegen。;Lennart C.L.Kats。;伊尔科Visser 使用WebDSL对web应用程序进行静态一致性检查。 (英语) Zbl 1215.68053号 J.塞姆。计算。 46,第2期,150-182(2011).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hemel}等人,J.Symb。计算。46,第2号,150--182(2011;Zbl 1215.68053) 全文: 内政部 链接
费德里科·班蒂;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 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) 全文: 内政部
格雷戈里·马莱查;格雷格·莫里塞特;瑞安·威斯内斯基 使用I/O对命令式程序进行基于跟踪的验证。 (英语) 兹比尔1215.68070 J.塞姆。计算。 46,第2期,95-118(2011).MSC公司:68号30 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.Malecha}等人,J.Symb。计算。46,No.2,95--118(2011;Zbl 1215.68070) 全文: 内政部
夏碧灿;张志海 具有非线性约束的线性规划的终止。 (英语) 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,第11号,1234--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 1213.68385号 J.塞姆。计算。 45,第11期,1184-1211(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Moy}和\textit{C.Marché},J.Symb。计算。45,编号11,1184--1211(2010年;兹bl 1213.68385) 全文: 内政部
罗晨光;弗罗林·克雷西恩;秦胜超;何冠华;魏恩根·钦 验证具有未知调用的程序的指针安全性。 (英语) Zbl 1208.68149号 J.塞姆。计算。 45,第11期,1163-1183(2010).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Luo}等人,J.Symb。计算。45,第11号,1163--1183(2010;Zbl 1208.68149) 全文: 内政部
伊戈尔·康诺夫(Igor V.Konnov)。;弗拉基米尔·扎哈罗夫。 一种基于不变量的异步参数化网络验证方法。 (英语) Zbl 1208.68148号 J.塞姆。计算。 45,第11期,1144-1162(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.V.Konnov}和\textit{V.A.Zakharov},J.Symb。计算。45,第11号,1144--1162(2010;Zbl 1208.68148) 全文: 内政部
阿里·米莉;谢尔·亚哈龙;查塔尼亚·纳德卡尼;吉拉尼、拉米亚·拉贝德;阿斯玛·卢希奇;奥尔法·姆拉伊 自反传递不变关系:计算循环函数的基础。 (英语) 兹比尔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) 全文: 内政部
托马斯·杰奈特;弗拉德·鲁苏 树自动机完备的等式逼近。 (英语) Zbl 1192.68398号 J.塞姆。计算。 45,第5期,574-597(2010).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{V.Rusu},J.Symb。计算。45,第5号,574--597(2010;Zbl 1192.68398) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆纳乔·埃切宁 通过分解进行理论决策。 (英语) Zbl 1192.68626号 J.塞姆。计算。 45,第2期,229-260(2010).MSC公司:68吨15 2012年第68季度 68分20秒 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Echenim},J.Symb。计算。45,第2号,229--260(2010;Zbl 1192.68626) 全文: 内政部
阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 (英语) Zbl 1192.68431号 J.塞姆。计算。 45,第2期,173-193(2010).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,J.Symb。计算。45,第2号,173--193(2010;Zbl 1192.68431) 全文: 内政部 链接
亚哈龙·阿巴迪;亚历山大·拉比诺维奇;穆利·萨吉夫 多种逻辑的可决定碎片。 (英语) Zbl 1183.03007号 J.塞姆。计算。 45,第2期,153-172(2010).MSC公司:03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Abadi}等人,J.Symb。计算。45,第2号,153--172(2010;Zbl 1183.03007) 全文: 内政部
麦地那-布洛,Inmaculada;Palomo Lozano,弗朗西斯科;何塞·路易斯·鲁伊斯·雷纳 在ACL2中验证了Buchberger算法的通用lisp实现。 (英语) Zbl 1194.68155号 J.塞姆。计算。 45,第1期,96-123(2010).MSC公司:68问题65 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{I.Medina-Bulo}等人,J.Symb。计算。45,第1号,96--123(2010;Zbl 1194.68155) 全文: 内政部
迈克尔·布里肯斯坦;亚历山大·德雷耶 Polybori:用布尔多项式进行Gröbner基计算的框架。 (英语) Zbl 1186.68571号 J.塞姆。计算。 44,第9期,1326-1345(2009).MSC公司:68瓦30 第13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{M.Brickenstein}和\textit{A.Dreyer},J.Symb。计算。44,编号9,1326--1345(2009;Zbl 1186.68571) 全文: 内政部
Jorge,J.圣地亚哥;Victor M.古利亚斯。;何塞·弗雷尔(Jose L.Freire)。 证明计算Gröbner基的有效函数程序的属性。 (英语) Zbl 1159.13016号 J.塞姆。计算。 44,第5期,571-582(2009).MSC公司:第13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Jorge}等人,J.Symb。计算。44,第5号,571--582(2009;Zbl 1159.13016) 全文: 内政部
亚历山大·弗伦克;布列塔·凯登 用关系代数方法分析Petri网的状态空间。 (英语) Zbl 1156.68040号 J.塞姆。计算。 44,第1期,15-47页(2009年).MSC公司:68问题85 60年第68季度 03克15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fronk}和\textit{B.Kehden},J.Symb。计算。44,编号1,15--47(2009;Zbl 1156.68040) 全文: 内政部
郭强辉;侯庆虎;Lisa H·孙。 通过数值验证证明超几何恒等式。 (英语) Zbl 1173.33304号 J.塞姆。计算。 43,第12号,895-907(2008). 审核人:汉斯·本克(梅塞堡) MSC公司:33C20美元 33层10 PDF格式BibTeX公司 XML格式引用 \textit{Q.-H.Guo}等人,J.Symb。计算。43,第12号,895-907(2008年;兹bl 1173.33304) 全文: 内政部
马萨基·卡诺;马尔科姆·史密斯。 验证了线性动力系统的(mathcal L_{infty})范数的数值计算。 (英语) Zbl 1127.65042号 J.塞姆。计算。 41,第6期,697-707(2006). 审核人:Seenith Sivasundaram(代托纳海滩) MSC公司:65K10码 65G20个 93B40码 93二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanno}和\textit{M.C.Smith},J.Symb。计算。41,第6号,697--707(2006;Zbl 1127.65042) 全文: 内政部
伊尔科Visser 基于规则的程序转换系统中策略的调查。 (英语) Zbl 1129.68043号 J.塞姆。计算。 40,第1期,831-873(2005).MSC公司:68问题55 2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Visser},J.Symb。计算。40,编号1831--873(2005;Zbl 1129.68043) 全文: 内政部 链接
马可·波扎诺;乔治·德尔扎诺 密码协议线性逻辑规范的保密属性的自动验证。 (英语) Zbl 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) 全文: 内政部
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) 全文: 内政部 链接
尤尔根阿文豪斯;克劳斯·贝克尔 具有预定义结构的操作方程规范框架。 (英语) 兹比尔0928.68078 J.塞姆。计算。 27,第3期,271-310(1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Avenhaus}和\textit{K.Becker},J.Symb。计算。27,第3号,271--310(1999;Zbl 0928.68078) 全文: 内政部
Hintermeier,克劳斯;克洛德·基什内尔;赫莱内·基什内尔 有序等式表示的动态类型计算。 (英语) Zbl 0983.68254号 J.塞姆。计算。 25,第4期,455-526(1998).MSC公司:68号30 03B70号 2012年第68季度 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Hintermeier}等人,J.Symb。计算。25,第4号,455--526(1998;Zbl 0983.68254) 全文: 内政部 链接
卡蒂亚·格拉迪茨;赫伯特·库欣 伽马运算的共享内存实现。 (英语) Zbl 0863.68018号 J.塞姆。计算。 21,第4-6号,577-591(1996).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Gladitz}和\textit{H.Kuchen},J.Symb。计算。21,编号4--6577--591(1996;Zbl 0863.68018) 全文: 内政部
乔里·恩格弗里特;简·特雷尔 非单调推理的可执行时序逻辑。 (英语) Zbl 0890.03007号 J.塞姆。计算。 22,编号5-6,615-625(1996). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B45号 68T27型 60年第68季度 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur},J.Symb。计算。22,编号5--6,615--625(1996;Zbl 0890.03007) 全文: 内政部 链接
加利福尼亚州卡莱罗。;G·萨克。;塞尔纳达斯,A。 从时序逻辑规范中导出活性目标。 (英语) Zbl 0976.03036号 J.塞姆。计算。 22,第5-6号,第521-553页(1996年).MSC公司:03B70号 03B44号 60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,J.Symb。计算。22,编号5--6521--553(1996;Zbl 0976.03036) 全文: 内政部 链接
D.卢吉兹。 高阶不统一的正负结果。 (英语) Zbl 0851.68071号 J.塞姆。计算。 20,第4期,431-470(1995).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lugiez},J.Symb(J.塞姆)。计算。20,第4号,431--470(1995;Zbl 0851.68071) 全文: 内政部 链接
彼得·肖恩 稳健几何程序的公理方法。 (英语) 兹比尔0799.68194 J.塞姆。计算。 16,第2期,155-165(1993).MSC公司:68单位05 51-04 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schorn},J.Symb。计算。16,第2号,155--165(1993;Zbl 0799.68194) 全文: 内政部
托德·托格森 递归定义数组的并行调度:重温。 (英语) Zbl 0804.68084号 J.塞姆。计算。 16,第2期,189-226(1993).MSC公司:60年第68季度 68瓦30 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{T.Torgersen},J.塞姆。计算。16,第2号,189--226(1993;Zbl 0804.68084) 全文: 内政部
皮埃尔·弗莱纳;伊夫·迪维尔 从不完整的规范中合成逻辑程序。 (英语) Zbl 0804.68090号 J.塞姆。计算。 15,编号5-6,775-805(1993).MSC公司:60年第68季度 68N17号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Flener}和\textit{Y.Deville},J.Symb。计算。15,编号5--6775--805(1993;Zbl 0804.68090) 全文: 内政部
纳鸿·德肖维茨;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-6775-773(1993年;Zbl 0804.68089) 全文: 内政部
查达、里图;David A.Plaisted。 关于循环不变量的机械推导。 (英语) Zbl 0804.68129号 J.塞姆。计算。 15,编号5-6,705-744(1993).MSC公司:68吨15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}和\textit{D.A.Plaisted},J.Symb。计算。15,编号5--6705--744(1993;Zbl 0804.68129) 全文: 内政部
尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。;佛朗哥·帕拉米奥;阿尔贝托,Policriti 在抽象集上计算(varepsilon)表达式的派生算法。 (英语) Zbl 0796.03009号 J.塞姆。计算。 15,编号5-6,673-704(1993).MSC公司:03B25号 03E30年 03B35型 03B70号 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}等人,J.Symb。计算。15,编号5--6,673--704(1993;Zbl 0796.03009) 全文: 内政部
高山由纪德 \(QPC_2):具有参数化规范的构造演算。 (英语) Zbl 0804.68085号 J.塞姆。计算。 15,第5-6号,641-672(1993).MSC公司:60年第68季度 68问题65 68N17号 35楼03号 03楼50 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takayama},J.Symb。计算。15,编号5--6641--672(1993;Zbl 0804.68085) 全文: 内政部
Paulin Mohring,克莉丝汀;本杰明·沃纳 系统Coq中ML程序的合成。 (英语) Zbl 0804.68132号 J.塞姆。计算。 15,编号5-6,607-640(1993).MSC公司:68吨15 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Paulin Mohring}和\textit{B.Werner},J.Symb。计算。15,编号5--6,607--640(1993;Zbl 0804.68132) 全文: 内政部
道格拉斯·史密斯。 构造规范形态。 (英语) Zbl 0804.68094号 J.塞姆。计算。 15,第5-6号,571-606(1993).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith},J.Symb。计算。15,编号5--6571--606(1993;Zbl 0804.68094) 全文: 内政部
van Deursen,A。;克林特,P。;叶尖,F。 原点跟踪。 (英语) Zbl 0804.68088号 J.塞姆。计算。 15,第5-6号,第523-545页(1993年).MSC公司:60年第68季度 65年第68季度 68问题65 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.van Deursen}等人,J.Symb。计算。15,编号5--6523--545(1993;Zbl 0804.68088) 全文: 内政部
纳鸿·德肖维茨;美国雷迪。 方程式程序的演绎和归纳综合。 (英语) 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) 全文: 内政部
高山由纪德 从构造性自然演绎证明中提取无冗余程序。 (英语) Zbl 0731.68079号 J.塞姆。计算。 12,第1号,29-69(1991).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takayama},J.Symb。计算。12,编号1,29--69(1991;Zbl 0731.68079) 全文: 内政部
大辅佐藤;久崎田木 一阶编译器:一种确定性逻辑程序综合算法。 (英语) 兹伯利0693.68017 J.塞姆。计算。 8,第6号,605-627(1989).MSC公司:68N99型 68吨15 68T99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sato}和\textit{H.Tamaki},J.Symb。计算。8,第6号,605--627(1989;Zbl 0693.68017) 全文: 内政部
亚历山大·布代特;Jean-Pierre Jouannaud;曼弗雷德·施密特·肖斯 布尔环和阿贝尔群的统一。 (英语) Zbl 0689.68040号 J.塞姆。计算。 8,第5号,449-477(1989).MSC公司:68瓦30 06E20型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}等人,J.Symb。计算。8,第5号,449--477(1989;Zbl 0689.68040) 全文: 内政部
Lam,C.W.H。;泰尔,L。 回溯搜索,同构拒绝和一致性检查。 (英语) Zbl 0684.68081号 J.塞姆。计算。 7,第5号,473-485(1989).MSC公司:68页第10页 05A99号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.W.H.Lam}和\textit{L.Thiel},J.Symb。计算。7,第5号,473--485(1989;Zbl 0684.68081) 全文: 内政部
乔纳森·特劳戈特 排序程序的演绎综合。 (英语) Zbl 0679.68017号 J.塞姆。计算。 7,第6号,533-572(1989).MSC公司:68号01 60年第68季度 68页第10页 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Traugott},J.Symb。计算。7,第6号,533--572(1989;Zbl 0679.68017) 全文: 内政部
格特·斯莫尔卡;哈桑·艾特·卡奇 继承层次:语义和统一。 (英语) 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代码-案例研究。 (英语) 兹伯利0641.68025 J.塞姆。计算。 4, 207-232 (1987).MSC公司:60年第68季度 68分20秒 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Paige}和\textit{F.Henglein},J.Symb。计算。4207--232(1987年;Zbl 0641.68025) 全文: 内政部
David A.Plaisted。;史蒂文·格林鲍姆 结构保留子句形式的翻译。 (英语) Zbl 0636.68119号 J.塞姆。计算。 2, 293-304 (1986).MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Plaisted}和\textit{S.Greenbaum},J.Symb。计算。2293--304(1986;Zbl 0636.68119) 全文: 内政部
Edelsbrunner,H。;Waupotitsch,R。 计算二维切割的火腿三明治。 (英语) Zbl 0623.68058号 J.塞姆。计算。 2, 171-178 (1986).MSC公司:68页第10页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Edelsbrunner}和\textit{R.Waupotitsch},J.Symb。计算。2171--178(1986年;Zbl 0623.68058) 全文: 内政部
安娜·帕兹托 非标准算法和动态逻辑。 (英语) 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。计算。2,59-81(1986年;兹bl 0594.68032) 全文: 内政部
可口、蒂埃里;杰拉德·休特 关于构造数学、直觉主义类型理论和高阶演绎的精选参考书目。 (英语) Zbl 0591.68036号 J.塞姆。计算。 1, 323-328 (1985).MSC公司:68问题65 60年第68季度 03Fxx公司 03B35型 03B15号机组 03B40型 03楼55 68吨15 00A15年 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{G.Huet},J.Symb。计算。1323--328(1985;Zbl 0591.68036) 全文: 内政部