阿尔贝托·佩特罗西 更正为:“河内问题之塔:通过程序转换推导迭代解”。 (英语) Zbl 1441.68134号 比特币 60,No.2,541(2020).MSC公司:60年第68季度 68号01 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi},BIT 60,No.2,541(2020;Zbl 1441.68134) 全文: 内政部
安妮·库伊特;奥利弗·萨拉扎·塞利斯 具有误差控制的多元数据拟合。 (英语) Zbl 1411.41013号 比特币 59,第1号,35-55(2019). 审核人:弗朗西斯科·佩雷斯·阿科斯塔(拉古纳) MSC公司:41A20型 65D05型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{A.Cuyt}和\textit{O.Salazar Celis},BIT 59,No.1,35-55(2019;Zbl 1411.41013) 全文: 内政部 链接
阿尔瓦罗·莫莱斯;劳尔·坦彭;佩德罗·维拉诺娃 多层混合Chernoff tau-leap。 (英语) Zbl 1348.60112号 比特币 56,第1期,189-239(2016).MSC公司:60J22型 60J27型 60J10型 65立方厘米05 65立方厘米 65G20个 60J75型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Moraes}等人,BIT 56,No.1,189--239(2016;Zbl 1348.60112) 全文: 内政部 arXiv公司
齐格弗里德·M·臀部。 验证了奇异值的界,特别是矩阵及其逆的谱范数的界。 (英语) Zbl 1226.65028号 比特币 51,第2期,367-384(2011). 审核人:君士坦丁·波帕(Constanţa) MSC公司:2015财年65 65层20 65G20个 15甲18 第15页第60页 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump},BIT 51,编号2,367-384(2011年;Zbl 1226.65028) 全文: 内政部
M.施努尔。;D.拉茨。 由两个或多个分支提供的函数的斜率封闭。 (英语) Zbl 1162.65340号 比特币 48,第4期,783-797(2008).MSC公司:65G40型 65G20个 65D25个 PDF格式BibTeX公司 XML格式引用 \textit{M.Schnurr}和\textit{D.Ratz},BIT 48,编号4,783--797(2008;Zbl 1162.65340) 全文: 内政部
S.M.臀部。 验证肯定性。 (英语) Zbl 1101.65039号 比特币 46,第2期,433-452(2006). 审核人:Petko Hr.Petkov(索非亚) MSC公司:2015财年65 65G20个 15个B48 65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Rump},BIT 46,No.2,433--452(2006;Zbl 1101.65039) 全文: 内政部
菲利普·兰格洛伊斯 舍入误差的自动线性校正。 (英语) Zbl 0988.65036号 比特币 41,第3期,515-539(2001). 审核人:杰克·贾利维茨(马赛) MSC公司:65克50 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{P.Langlois},BIT 41,编号3,515--539(2001;Zbl 0988.65036) 全文: 内政部
李大卫;亨利克·沃·尼亚科夫斯基 测试线性运算符。 (英语) Zbl 0841.65041号 比特币 35,第331-351号(1995年). 审核人:B.Döring(杜塞尔多夫) MSC公司:65J10型 47A48型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lee}和\textit{H.Woźniakowski},BIT 35,No.3,331--351(1995;Zbl 0841.65041) 全文: 内政部
彼得·诺尔 证明与形式化。 (英语) Zbl 0815.68069号 比特币 34,第1期,148-164(1994).MSC公司:60年第68季度 68问题65 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Naur},BIT 34,编号1,148--164(1994;Zbl 0815.68069) 全文: 内政部
奥拉夫·莱恩 通过结构归纳法证明的等式部分。 (英语) Zbl 0797.68107号 比特币 33,第4号,596-618(1993).MSC公司:60年第68季度 68问题65 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{O.Lysne},BIT 33,编号4,596--618(1993;Zbl 0797.68107) 全文: 内政部
安妮·萨维森 关于类型理论中命题的规格说明、子集类型和解释。 (英语) Zbl 0788.68095号 比特币 32,第1期,84-101(1992).MSC公司:60年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Salvesen},BIT 32,编号1,84--101(1992;Zbl 0788.68095) 全文: 内政部
贾安娜·埃洛兰塔 在观测等效性方面尽量减少过渡次数。 (英语) Zbl 0738.68061号 比特币 第4号第31页,第576-590页(1991年).MSC公司:68问题85 60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eloranta},BIT 31,编号4,576--590(1991;Zbl 0738.68061) 全文: 内政部
艾伦·斯图尔特 SIMD赋值的公理化处理。 (英语) Zbl 0692.68013号 比特币 30,第1号,70-82(1990).MSC公司:60年第68季度 68N99型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stewart},BIT 30,编号1,70--82(1990;Zbl 0692.68013) 全文: 内政部
林卓杰;蔡宗创 收缩一代的组合。 (英语) Zbl 0684.68072号 比特币 29,第1期,23-36(1989).MSC公司:68问题80 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{C.-J.Lin}和\textit{J.-C.Tsay},BIT 29,No.1,23--36(1989;Zbl 0684.68072) 全文: 内政部
德巴克尔,J.W。;梅耶,J.-J.Ch。 并发的度量语义。 (英语) 兹比尔0661.68011 比特币 28,第3期,504-529(1988). 审核人:S.布鲁姆 MSC公司:60年第68季度 68N25号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和textit{J.J.Ch.Meyer},BIT 28,No.3,504--529(1988;Zbl 0661.68011) 全文: 内政部
本格特Nordström 终止一般递归。 (英语) 兹比尔0659.68020 比特币 28,第3号,605-619(1988). 审核人:B.诺德斯特伦 MSC公司:60年第68季度 03B70号 03B15号机组 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Nordström},BIT 28,编号3,605--619(1988;Zbl 0659.68020) 全文: 内政部
大卫·格里斯;薛、缙云 生成随机循环置换。 (英语) Zbl 0656.68076号 比特币 28,第3号,569-572(1988). 审核人:D.格里斯 MSC公司:68卢比99 05年05月05日 60年第68季度 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{D.Gries}和\textit{J.Xue},BIT 28,No.3,569--572(1988;Zbl 0656.68076) 全文: 内政部
Edward K·布鲁姆。 向量计算并行程序的语义和复杂性。一: 使用Ada的案例研究。 (英语) Zbl 0656.68020号 比特币 28,第3期,530-551页(1988年). 审核人:W.Schönauer女士 MSC公司:60年第68季度 2005年5月 2005年第68季度 68N25号 15A23型 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Blum},BIT 28,编号3,530-551(1988年;Zbl 0656.68020) 全文: 内政部
艾伦·斯图尔特 使用规定语义的SIMD语言设计。 (英语) Zbl 0656.68019号 比特币 28,第3号,639-650(1988).MSC公司:60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Stewart},BIT 28,编号3,639-650(1988年;Zbl 0656.68019) 全文: 内政部
旋律,拉米 一类自定时计算网络的验证。 (英语) Zbl 0643.68019号 比特币 27, 480-500 (1987).MSC公司:68N25号 68N99型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Melhem},BIT 27,480--500(1987;Zbl 0643.68019) 全文: 内政部
西古尔德·梅尔达尔 并发结构出口的部分正确性。 (英语) Zbl 0599.68029号 比特币 26, 295-302 (1986).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Meldal},BIT 26,295--302(1986;Zbl 0599.68029) 全文: 内政部
西古尔德·梅尔达尔 嵌套并发的公理语义。 (英语) Zbl 0594.68026号 比特币 26, 164-174 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.梅尔达尔},BIT 26,164--174(1986;Zbl 0594.68026) 全文: 内政部
阿尔贝托·佩特罗西 汉诺塔问题:通过程序转换推导迭代解。 (英语) Zbl 0581.68016号 比特币 25, 327-334 (1985); 更正同上,第60号,第2,541(2020)。MSC公司:60年第68季度 68号01 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi},BIT 25,327--334(1985;Zbl 0581.68016) 全文: 内政部
本特·诺德斯特伦;简·史密斯 Martin-Löf类型理论中程序的命题和规范。 (英语) Zbl 0551.68027号 比特币 24, 288-301 (1984).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Nordström}和\textit{J.Smith},BIT 24,288--301(1984;Zbl 0551.68027) 全文: 内政部
彼得·诺尔 程序开发中的形式化。 (英语) Zbl 0494.68013号 比特币 22, 437-453 (1982).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Naur},BIT 22,437--453(1982;Zbl 0494.68013) 全文: 内政部
Loefgren,垫子;鲍里斯·马格努森 块结构环境中的访问机制。 (英语) Zbl 0494.68012号 比特币 22, 419-436 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Loefgren}和\textit{B.Magnusson},BIT 22,419--436(1982;Zbl 0494.68012) 全文: 内政部
玛丽·卢·索法 控制纪律的必要性:使语言与实施一样通用。 (英语) Zbl 0482.68014号 比特币 169-182年(1982年).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Lou Soffa},BIT 22,169--182(1982;Zbl 0482.68014) 全文: 内政部
王金奎 一些简单的就地合并算法。 (英语) 兹比尔0456.68063 比特币 21, 157-166 (1981).MSC公司:68页第10页 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Wong},BIT 21,157--166(1981;Zbl 0456.68063) 全文: 内政部