马丁·苏尔兹曼;斯特凡·韦尔 轻量级泛型go中方法重载和结构子类型的类型定向字典传递翻译。 (英语) Zbl 07775447号 J.功能。程序。 33,论文编号e8,63 p.(2023).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Sulzmann}和\textit{S.Wehr},J.Funct。程序。33,论文编号e8,63 p.(2023;Zbl 07775447) 全文: 内政部 arXiv公司 OA许可证
曼弗雷德·施密特·沙乌;大卫·萨贝尔 类型化概率按需调用函数语言中的程序等价性。 (英语) 兹伯利07741963 J.日志。阿尔盖布。方法程序。 135,文章ID 100904,18 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},J.Log。阿尔盖布。方法计划。135,文章ID 100904,18 p.(2023;Zbl 07741963) 全文: 内政部
加布里埃尔·乔巴努;埃妮娅·尼古拉·托多拉 Haskell中尖峰神经P系统的变体及其操作语义。 (英语) Zbl 07737507号 J.成员。计算。 第5期第2期第81-99页(2023年).MSC公司:2007年第68季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{E.N.Todoran},J.Membr。计算。5、编号2、81--99(2023;Zbl 07737507) 全文: 内政部
加布里埃尔·乔巴努;埃妮娅·尼古拉·托多拉 Haskell中的Spiking神经P系统及其语义。 (英语) Zbl 1530.68084号 自然计算。 22,编号1,41-54(2023).MSC公司:2007年第68季度 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{E.N.Todoran},自然计算。22,编号1,41-54(2023;Zbl 1530.68084) 全文: 内政部
里卡多·比安奇尼;弗朗西斯科·达尼诺;保拉·吉安尼尼;埃琳娜·祖卡 具有异构系数的类似Java的微积分。 (英语) Zbl 07729839号 西奥。计算。科学。 971,文章ID 114063,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \文本{R.Bianchini}等人,Theor。计算。科学。971,文章编号114063,21 p.(2023;Zbl 07729839) 全文: 内政部
萨夫基拉特·考尔;阿尔蒂·库拉纳;托马尔,S.K。 含孔隙多层弹性介质中的Love型波:Haskell矩阵法。 (英语) Zbl 1512.74051号 J.弹性 153,编号1,29-52(2023).MSC公司:74J15型 74B05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kaur}等人,J.Elasticity 153,No.1,29-52(2023;Zbl 1512.74051) 全文: 内政部
Alpunte,M。;D.巴利斯。;埃斯科瓦尔,S。;D.加兰。;萨皮尼亚,J。 通过莫德的可编程策略实施安全。 (英语) Zbl 07665440号 J.日志。阿尔盖布。方法程序。 132,文章ID 100849,19 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100849,19 p.(2023;Zbl 07665440) 全文: 内政部
庄成恩;格兰特·伊拉西;卢卡斯·齐亚雷克 先发送给我:同步消息传递中的优先级。 (英语) Zbl 07697867号 J.功能。程序。 32,论文编号e16,40 p.(2022).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.-E.Chuang}等人,J.Funct。程序。32,论文编号e16,第40页(2022;Zbl 07697867) 全文: 内政部
帕特里克·巴尔 Modal FRP for all:Haskell中没有空间泄漏的功能反应式编程。 (英语) Zbl 07697866号 J.功能。程序。 32,论文编号e15,48 p.(2022).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{P.Bahr},J.Funct。程序。32,论文编号e15,48 p.(2022;Zbl 07697866) 全文: 内政部
马西耶·本德考斯基;奥利维尔·博迪尼;谢尔盖·多夫格尔 作为凸优化进行调整:多参数组合采样器的多项式调整器。 (英语) Zbl 1512.68178号 梳子。普罗巴伯。计算。 31,5号,765-811(2022).MSC公司:68卢比 2015年1月5日 87年第68季度 90C25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bendkowski}等人,库姆。普罗巴伯。计算。31,编号5,765--811(2022;Zbl 1512.68178) 全文: 内政部 arXiv公司
克劳迪娅·法根;朱利奥·格雷里;乌戈·德利古罗;里卡多·特雷格里亚 关于计算核心中的约简和归一化。 (英语) Zbl 1512.68129号 数学。结构。计算。科学。 32,第7期,934-981(2022).MSC公司:2012年第68季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Faggian}等人,《数学》。结构。计算。科学。32,编号7,934-981(2022;兹bl 1512.68129) 全文: 内政部 arXiv公司
玛丽·法雷尔;莫纳汉,罗斯玛丽;詹姆斯·F·鲍尔(James F.Power)。 Event-B机构的建筑规范。 (英语) 兹伯利07639912 日志。方法计算。科学。 18,第4期,第4号论文,55页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Farrell}等人,《日志》。方法计算。科学。18,第4期,第4号论文,55页(2022;Zbl 07639912) 全文: 内政部 arXiv公司
奥利维尔·丹维 使用Coq证明助手推理递归程序的折叠引理。 (英语) Zbl 1511.68052号 J.功能。程序。 32,论文编号e13,27 p.(2022); 勘误表同上,第33号论文,第1页(2023年)。MSC公司:68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy},J.Funct。程序。32,论文编号e13,27 p.(2022;Zbl 1511.68052) 全文: 内政部
傅鹏;Kohei的Kishida;彼得·塞林格 量子编程语言的线性相关类型理论。 (英语) Zbl 1503.68039号 日志。方法计算。科学。 18,第3号,第28号论文,44页(2022年).MSC公司:68甲19 03B38型 2005年5月18日 68甲15 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Fu}等人,Log。方法计算。科学。18,第3号,第28号论文,第44页(2022年;Zbl 1503.68039) 全文: 内政部 arXiv公司
弗朗齐斯科斯·威斯内特;科普,尼尔斯 二进制有符号数字表示中实数的极限。 (英语) Zbl 07596572号 日志。方法计算。科学。 18,第3号,第24号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiesnet}和\textit{N.Köpp},日志。方法计算。科学。18,第3号,第24号论文,28页(2022;Zbl 07596572) 全文: 内政部 arXiv公司
迈克尔·哈纳斯 从逻辑到功能逻辑程序。 (英语) Zbl 07595324号 理论与实践。日志。程序。 22,第4期,538-554(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hanus},理论与实践。日志。程序。22,编号4,538--554(2022;Zbl 07595324) 全文: 内政部 arXiv公司
弗拉基米尔·莱姆斯;阿库尼亚-约曼斯,爱德华多;维克托·萨莫拉;Hernández-Quiroz,弗朗西斯科;赫克托耳齐尼尔 可计算模型发现和算法复杂性的高级编程近似。 (英语) Zbl 07570312号 西奥。计算。科学。 927, 31-41 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{V.Lemus}等人,Theor。计算。科学。927,31-41(2022;Zbl 07570312) 全文: 内政部 arXiv公司
马科托·哈马纳 二阶计算规则的模终止及其在代数效应处理程序中的应用。 (英语) Zbl 07566074号 日志。方法计算。科学。 18,第2号,第18号论文,33页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Hamana},日志。方法计算。科学。18,第2号,第18号论文,33页(2022;Zbl 07566074) 全文: arXiv公司 链接
埃敏·卡拉耶尔;埃德加·冈萨·莱兹 协作编辑框架WOOT的最终一致性很强。 (英语) Zbl 1485.68021号 分布计算。 35,第2期,145-164(2022).MSC公司:64岁以下 68第05页 60年第68季度 68单位15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Karayel}和\textit{E.González},分布计算。35,编号2,145--164(2022;Zbl 1485.68021) 全文: 内政部
斯特凡·卡尔斯;科林·伦西曼 进一步简化正则表达式。 (英语) 兹伯利07403415 J.塞姆。计算。 109, 124-143 (2022).MSC公司:03D40号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs}和\textit{C.Runciman},J.Symb。计算。109124-143(2022;Zbl 07403415) 全文: 内政部 链接
克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 可逆多方协议的因果一致性。 (英语) Zbl 07471661号 日志。方法计算。科学。 17,第4号,第1号论文,41页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Antares Mezzina}和\textit{J.A.Pérez},Log。方法计算。科学。17,第4号,第1号论文,41页(2021;Zbl 07471661) 全文: arXiv公司 链接
萨尔瓦多卢卡斯 派生复杂性和上下文敏感重写。 (英语) Zbl 07461269号 J.汽车。推理 65,第8期,1191-1229(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}、J.Autom。推理65,No.8,1191--1229(2021;Zbl 07461269) 全文: 内政部
安徒生、克里斯托弗·贾斯特·阿恩达尔;伊利亚·谢尔盖 分布式系统建模、测试和执行的协议组合器。 (英语) Zbl 1522.68141号 J.功能。程序。 31,论文编号e3,29 p.(2021).MSC公司:68号30 64岁以下 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{K.J.A.Andersen}和\textit{I.Sergey},J.Funct。程序。31,论文编号e3,29 p.(2021;Zbl 1522.68141) 全文: 内政部
马丁·埃尔维格;普拉珊·库马尔 可解释的动态编程。 (英语) Zbl 1522.68122号 J.功能。程序。 31,论文编号e10,26 p.(2021).MSC公司:68甲18 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Erwig}和\textit{P.Kumar},J.Funct。程序。31,论文编号e10,26 p.(2021;Zbl 1522.68122) 全文: 内政部
Kozyrev,S.V.公司。 基因组是用哈斯克尔写的吗? (英语) Zbl 1475.92112号 Lobachevskii J.数学。 42,第10期,2358-2363(2021).MSC公司:92D10型 92D15型 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Kozyrev},Lobachevskii J.数学。42,编号10,2358--2363(2021;Zbl 1475.92112) 全文: 内政部
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 (英语) Zbl 1518.68157号 J.日志。阿尔盖布。方法程序。 121,文章ID 100680,第33页(2021).MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。阿尔盖布。方法计划。121,文章ID 100680,33 p.(2021;Zbl 1518.68157) 全文: 内政部 链接
米查尔·科内奇;艾克·诺依曼 可行近似函数的表示和评估策略。 (英语) Zbl 1493.03006号 可计算性 10,编号1,63-89(2021). 审核人:吉多·格拉迪(博洛尼亚) MSC公司:03D78号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Koneční}和\textit{E.Neumann},可计算性10,第1期,63-89(2021;Zbl 1493.03006) 全文: 内政部 arXiv公司
吉尔卡·马西克;Amblard,马克西姆;菲利普·德格罗特 引入\(\llparentaris\lambda\rrparentaris \),一种用于有效计算的\(\lambda\)-演算。 (英语) Zbl 1497.68095号 西奥。计算。科学。 869108-155(2021).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marík}等人,Theor。计算。科学。869108-155(2021年;Zbl 1497.68095) 全文: 内政部
罗伊娜·佩吉特;马克·威尔顿 对称函数的完备与(mathrm)的表示{SL}_2(\mathbf{C})\)。 (英语) Zbl 1466.05222号 阿尔盖布。梳子。 4,编号1,27-68(2021). 审核人:皮埃尔·卢伊斯·蒙塔加德(蒙彼利埃) MSC公司:05年10月 05年5月5日 20立方 22E46型 22E47型 PDF格式BibTeX公司 XML格式引用 \textit{R.Paget}和\textit{M.Wildon},Algebr。梳子。4,编号1,27--68(2021;Zbl 1466.05222) 全文: 内政部 arXiv公司
托马斯·莱坦;雷吉斯·贾纳斯,亚恩;皮埃尔·奇夫利埃;纪尧姆·希特 使用效果和效果处理程序对程序进行模块化验证。 (英语) Zbl 1458.68119号 正式Asp。计算。 33,第1号,127-150(2021).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{T.Letan}等人,正式Asp。计算。33,编号1,127--150(2021;Zbl 1458.68119) 全文: 内政部
迈克尔·克里斯滕森;约瑟夫·麦克马汉;劳顿·尼科尔斯;贾里德·罗埃什;蒂莫西·舍伍德;本·哈德科夫 通过完整性类型和经验证的组件实现安全功能系统。 (英语) Zbl 1477.68030号 西奥。计算。科学。 851, 39-61 (2021).MSC公司:2007年7月68日 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Christensen}等人,Theor。计算。科学。851,39-61(2021;Zbl 1477.68030) 全文: 内政部
艾尔维拉·阿尔伯特;尼古拉斯·贝齐吉安尼斯;弗兰克·德波尔;恩里克·马丁·马汀 从具有协作调度的参与者到Haskell的正式的、保留资源消耗的翻译。 (英语) Zbl 1497.68090号 芬丹。通知。 177,编号3-4,203-234(2020).MSC公司:68甲18 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,Fundam。通知。177,编号3--4,203-234(2020;Zbl 1497.68090) 全文: 内政部
Miranda-Perea,Favio E。;González Huesca,Lourdes del Carmen酒店;Linares-Arévalo,P.Selene 方程推理的交互式证明研究。 (英语) Zbl 1477.03033号 日志。J.IGPL公司 28,第6期,1155-1181(2020).MSC公司:03立方厘米35 68伏15 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.E.Miranda-Perea}等人,《日志》。J.IGPL 28,第6期,1155--1181(2020;Zbl 1477.03033) 全文: 内政部
S.D.梅什韦利亚尼。 在机器上检查GCD域上的分数算术的证明。 (英语。俄文原件) Zbl 1455.68249号 程序。计算。柔和。 46,第2期,110-119(2020年); 译自Programmirovanie 46,No.2,43-52(2020)。MSC公司:68伏15 11-04 1999年11月 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Meshveliani},程序。计算。柔和。46,第2号,110-119(2020;Zbl 1455.68249);译自Programmirovanie 46,No.2,43-52(2020) 全文: 内政部
尤努斯·库茨;曼弗雷德·施密特·沙乌 用广义名词统一重写。 (英语) Zbl 1495.68115号 数学。结构。计算。科学。 30,第6号,710-735(2020).MSC公司:2012年第68季度 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kutz}和\textit{M.Schmidt-Schauß},数学。结构。计算。科学。30,第6号,710--735(2020;Zbl 1495.68115) 全文: 内政部
卢克西奇,扎伊加;普雷特纳,马蒂亚 局部代数效应理论。 (英语) Zbl 1482.68091号 J.功能。程序。 30,论文编号e13,27 p.(2020).MSC公司:68号30 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{.Lukšić}和\textit{M.Pretnar},J.Funct。程序。30,论文编号e13,第27页(2020;兹bl 1482.68091) 全文: 内政部 arXiv公司
伊凡·佩雷斯;Alwyn E.古德洛。 容错功能反应式编程(扩展版)。 (英语) Zbl 1482.68083号 J.功能。程序。 30,论文编号e12,第41页(2020).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{I.Perez}和\textit{A.E.Goodloe},J.Funct。程序。30,论文编号e12,41 p.(2020;Zbl 1482.68083) 全文: 内政部
马克·威尔顿 包含正则阿贝尔子群的置换群:Burnside两个错误的纠结历史。 (英语) Zbl 1530.20006 数学。程序。外倾角。菲洛斯。Soc公司。 168、3号、613-633(2020年).MSC公司:20B05型 20B15号机组 20立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Wildon},数学。程序。外倾角。菲洛斯。Soc.168,No.3,613--633(2020;Zbl 1530.20006) 全文: 内政部 arXiv公司
卢卡斯修道院;萨姆·林德利;康纳·麦克布莱德;克雷格·麦克劳林 嘟嘟嘟嘟。 (英语) Zbl 1442.68026号 J.功能。程序。 30,论文编号e9,53 p.(2020).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Convent}等人,J.Funct。程序。30,论文编号e9,53 p.(2020;Zbl 1442.68026) 全文: 内政部
桑德拉·戴卢斯;简·克里斯蒂安森;蒂根,芬兰人 使用非严格非确定性实现概率编程库。 (英语) Zbl 1434.68062号 理论与实践。日志。程序。 20,第1号,147-175(2020).MSC公司:68甲15 68N17号 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Dylus}等人,《理论与实践》。日志。程序。20,第1号,147--175(2020;Zbl 1434.68062) 全文: 内政部 arXiv公司
迈克尔·卢滕伯格;菲利普·梅耶(Philipp J.Meyer)。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 (英语) Zbl 1435.68200号 学报信息。 57,编号1-2,3-36(2020).MSC公司:60年第68季度 03B44号 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人,Acta Inf.57,No.1-2,3-36(2020;兹bl 1435.68200) 全文: 内政部 arXiv公司
马特·考夫曼;J Strother摩尔 一阶设置中的有限二阶功能。 (英语) Zbl 1468.68291号 J.汽车。推理 64,第3号,391-422(2020).MSC公司:68伏15 03立方厘米35 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.考夫曼}和\textit{J S.摩尔},J.Autom。推理64,No.3,391--422(2020;Zbl 1468.68291) 全文: 内政部
安布罗斯·卡波西;科瓦奇,安德拉斯 高感应类型的特征和感应原理。 (英语) Zbl 1528.03108号 日志。方法计算。科学。 16,第1号,第10号论文,30页(2020年).MSC公司:03B38型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaposi}和\textit{A.Kovács},日志。方法计算。科学。16,第1号,第10号文件,第30页(2020年;Zbl 1528.03108) 全文: arXiv公司
劳伦斯·C·鲍尔森。;托比亚斯·尼普科夫;马卡里乌斯·温泽尔 从LCF到Isabelle/HOL。 (英语) Zbl 1427.68349号 正式Asp。计算。 31,第6号,675-698(2019).MSC公司:68伏15 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.C.Paulson}等人,正式Asp。计算。31,第6号,675--698(2019;Zbl 1427.68349) 全文: 内政部 arXiv公司
马西耶·本德考斯基;皮埃尔·莱斯坎 关于闭包和环境的枚举,以及随机生成应用程序。 (英语) Zbl 1442.68023号 日志。方法计算。科学。 15,第4号,第3号论文,21页(2019年).MSC公司:68甲18 03B40型 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Bendkowski}和\textit{P.Lescanne},Log。方法计算。科学。15,第4号,第3号论文,21页(2019年;Zbl 1442.68023) 全文: arXiv公司
塞萨尔·桑切斯;Gerardo Schneider公司;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;克里斯蒂安·克里斯蒂奇;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) Zbl 1425.68268号 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279-335(2019年;兹bl 1425.68268) 全文: 内政部 arXiv公司
汤姆·施里杰弗斯;布鲁诺·C·d·S·奥利维拉。;菲利普·沃德勒;科尔·马丁罗西安 COCHIS:稳定且连贯的隐式。 (英语) Zbl 1493.68094号 J.功能。程序。 29,论文编号e3,82 p.(2019).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Schrijvers}等人,J.Funct。程序。29,论文编号e3,82页(2019;兹bl 1493.68094) 全文: 内政部
马西耶·本德考斯基;奥利维尔·博迪尼;谢尔盖·多夫格尔 λ项的统计特性。 (英语) Zbl 07116644号 电子。J.库姆。 26,第4期,研究论文P4.1,70页(2019).MSC公司:03B40型 03B70号 2016年1月5日 05A99号 62E20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bendkowski}等人,《电子》。J.库姆。26,第4期,研究论文P4.1,70页(2019年;Zbl 07116644) 全文: arXiv公司 链接
安德烈亚斯·洛赫比勒 高阶逻辑中的效应多态性(证明珍珠)。 (英语) Zbl 1468.68062号 J.汽车。推理 63,第2期,439-462(2019).MSC公司:68甲18 68N20型 60年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lochbihler},J.Autom。推理63,No.2,439--462(2019;Zbl 1468.68062) 全文: 内政部
阿尔珀·奥达巴什;Elis Soylu Yilmaz公司 范畴理论和函数编程与应用程序之间的关系。 (英语) Zbl 1420.18002号 土耳其语。数学杂志。 43,第3期,1566-1577(2019). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:18A05级 68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Odabaš}和\textit{E.Soylu Yilmaz},土耳其数学杂志。43,第3号,1566-1577(2019;Zbl 1420.18002) 全文: 内政部
A.K.McIver。;C.C.摩根。;T·拉贝哈加。 定量信息流的程序代数。 (英语) Zbl 1423.68106号 J.日志。阿尔盖布。方法程序。 106, 55-77 (2019).MSC公司:68号30 第68页 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.K.McIver}等人,J.Log。阿尔盖布。方法计划。106、55-77(2019年;Zbl 1423.68106) 全文: 内政部
Dan R.吉卡。;库洛德·阿利亚亚 使用LSTM对游戏模型进行潜在语义分析。 (英语) Zbl 1423.68086号 J.日志。阿尔盖布。方法程序。 106, 39-54 (2019).MSC公司:68甲15 68问题55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}和\textit{K.Alyahya},J.Log。阿尔盖布。方法计划。106、39-54(2019年;Zbl 1423.68086) 全文: 内政部 链接
里卡多·霍诺拉托·齐梅尔;安德鲁·J·米勒。;戈登·普罗特金。;扎迪利斯,阿格里斯 Chromar,一种参数化代理语言。 (英语) Zbl 1423.68568号 西奥。计算。科学。 765,97-119(2019).MSC公司:68岁20岁 68甲15 68T42型 92立方厘米 92C80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Honorato-Zimmer}等人,Theor。计算。科学。765,97-119(2019;Zbl 1423.68568) 全文: 内政部
范·宾斯贝根,L.托马斯;彼得·莫塞斯(Peter D.Mosses)。;尼尔·斯卡索普 基于可执行组件的语义。 (英语) Zbl 1417.68095号 J.日志。阿尔盖布。方法程序。 103, 184-212 (2019).MSC公司:68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.T.van Binsbergen}等人,J.Log。阿尔盖布。方法计划。103、184--212(2019年;Zbl 1417.68095) 全文: 内政部 链接
玛丽贝尔·费尔南德斯;赫莱内·基什内尔;布鲁诺·皮诺 战略端口图重写:交互式建模框架。 (英语) Zbl 1417.68076号 数学。结构。计算。科学。 29,第5期,615-662(2019).MSC公司:2012年第68季度 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}等人,《数学》。结构。计算。科学。29,第5号,615--662(2019;Zbl 1417.68076) 全文: 内政部 arXiv公司
雨果·朱德里尔;佛罗伦萨蒂亚德 一种基于多区间约束传播的机车车辆管理问题贪婪算法。使用多区间约束传播解决机车车辆管理问题的贪婪方法,ROADEF/EURO挑战2014。 (英语) Zbl 1434.90062号 安·Oper。物件。 271,第2期,1165-1183(2018).MSC公司:90B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Joudrier}和\textit{F.Thiard},Ann.Oper。第271号决议,第2号,1165--1183(2018年;Zbl 1434.90062) 全文: 内政部
萨默·阿卜杜拉 重温PRISM:使用多提示分隔控制的概率编程语言的声明性实现。 (英语) 兹比尔1448.68202 国际J近似推理 103, 364-382 (2018).MSC公司:68甲15 68N17号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abdallah},Int.J.近似推理103,364--382(2018;Zbl 1448.68202) 全文: 内政部
菲利波·塞斯蒂尼;西尔维亚·克拉法 分子生物学上下文敏感逻辑中的证明搜索。 (英语) Zbl 1444.03171号 J.日志。计算。 28,第7期,1565-1600(2018).MSC公司:03楼52 68伏15 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Sestini}和\textit{S.Crafa},J.Log。计算。28,第7号,1565--1600(2018;Zbl 1444.03171) 全文: 内政部
马克·威尔顿 用双射和对合证明了广义SXP规则。 (英语) Zbl 1407.05242号 安·库姆。 22,第4期,885-905(2018).MSC公司:05年5月5日 05年10月 PDF格式BibTeX公司 XML格式引用 \textit{M.Wildon},安·库姆。22,第4号,885--905(2018;Zbl 1407.05242) 全文: 内政部 arXiv公司
谢尔盖·冈查洛夫;卢茨·施罗德;克里斯托夫·劳赫;朱利安·雅各布 共创性恢复上的无保护递归。 (英语) Zbl 1511.68077号 日志。方法计算。科学。 14,第3号,第10号论文,47页(2018年).MSC公司:68号30 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,日志。方法计算。科学。14,第3号,第10号文件,第47页(2018年;Zbl 1511.68077) 全文: 内政部 arXiv公司
剑,卡梅隆;萨布里,阿姆尔;萨姆·托宾·霍施塔特 作为沟通模式的合同监控策略的扩展说明。 (英语) Zbl 1476.68055号 J.功能。程序。 28,论文编号e4,47 p.(2018).MSC公司:68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Swords}等人,J.Funct。程序。28,论文编号e4,47 p.(2018;Zbl 1476.68055) 全文: 内政部
菲利普·哈勒;希瑟·米勒;穆勒,诺曼 基于谱系的分布式计算的编程模型和基础。 (英语) Zbl 1476.68057号 J.功能。程序。 28,论文编号e7,48 p.(2018).MSC公司:68甲19 68甲18 68T09号 PDF格式BibTeX公司 XML格式引用 \textit{P.Haller}等人,J.Funct。程序。28,论文编号e7,48 p.(2018;Zbl 1476.68057) 全文: 内政部
托克塔姆,拉梅扎尼法尔卡尼;Owe、Olaf;Tokas、Shukun 一种用于分布式和面向对象系统的保密语言。 (英语) Zbl 1395.68198号 J.日志。阿尔盖布。方法程序。 99, 1-25 (2018).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Ramezanifarkhani}等人,J.Log。阿尔盖布。方法计划。99,1-25(2018;Zbl 1395.68198) 全文: 内政部 链接
萨尔瓦多卢卡斯;何塞·梅塞盖尔;劳尔·古铁雷斯 条件重写系统的2D依赖项对框架。一: 定义和基本处理器。 (英语) Zbl 1393.68088号 J.计算。系统。科学。 96, 74-106 (2018).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}等人,J.Comput。系统。科学。96、74——106(2018;Zbl 1393.68088) 全文: 内政部
贝塞,简;陈子春;安德烈·杜登赫夫纳;鲍里斯·杜德尔;乌戈·迪利古罗;雅各布·雷霍夫 基于交集类型的Mixin合成。 (英语) Zbl 1433.03034号 日志。方法计算。科学。 14,第1号,第18号论文,37页(2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bessai}等人,日志。方法计算。科学。14,第1号,第18号论文,37页(2018;Zbl 1433.03034) 全文: 内政部 arXiv公司
佩德森,Jan B。;彼得·H·韦尔奇。 并发和验证的共生:教学和案例研究。 (英语) Zbl 1382.68144号 正式Asp。计算。 30,第2期,239-277(2018).MSC公司:60年第68季度 68问题85 97页20 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Pedersen}和\textit{P.H.Welch},正式Asp。计算。30,第2号,239--277(2018;Zbl 1382.68144) 全文: 内政部
马里奥·埃塞特;伊万娜·库兹马诺维奇;伊凡·瓦兹勒;蒂霍米尔·齐利奇 (M)系统理论。 (英语) 兹比尔1492.03010 日志。J.IGPL公司 25,第5号,836-858(2017).MSC公司:03B50号 03B80号 91层20 94C60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Essert}等人,《日志》。J.IGPL 25,No.5,836--858(2017;Zbl 1492.03010) 全文: 内政部
Sarah J.Berkemer。;克里斯蒂安·Höner zu Siederdessen;彼得·斯塔德勒(Peter F.Stadler)。 树上的代数动态规划。 (英语) Zbl 1461.68094号 算法(巴塞尔) 10,第4号,第135号论文,31页(2017年).MSC公司:2012年第68季度 68甲18 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Berkemer}等人,《算法(巴塞尔)》10,第4期,论文编号135,31 p.(2017;Zbl 1461.68094) 全文: 内政部
尼古拉·博塔;帕特里克·简森;塞萨尔·伊奥内斯库 对政策建议和可避免性计算理论的贡献。 (英语) Zbl 1476.68049号 J.功能。程序。 27,论文编号e23,52 p.(2017).MSC公司:68甲18 03B70号 91B06型 PDF格式BibTeX公司 XML格式引用 \textit{N.Botta}等人,J.Funct。程序。27,论文编号e23,52 p.(2017;Zbl 1476.68049) 全文: 内政部
约根·勃兰特;沃尔夫冈·雷西格;乌尔夫·莱斯 功能科学工作流语言楔形文字的计算语义。 (英语) Zbl 1476.68038号 J.功能。程序。 27,论文编号e22,31 p.(2017).MSC公司:68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Brandt}等人,J.Funct。程序。27,论文编号e22,31 p.(2017;Zbl 1476.68038) 全文: 内政部
埃妮娅·尼古拉·托多拉;尼古拉斯·帕帕斯普鲁 延续传递样式中的并发语义。 (英语) Zbl 1377.68152号 芬丹。通知。 153,编号1-2,125-146(2017).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.N.Todoran}和\textit{N.Papasyrou},Fundam。通知。153,编号1--2,125-146(2017;Zbl 1377.68152) 全文: 内政部
加布里埃尔·乔巴努;埃妮娅·尼古拉·托多拉 使用完全度量空间表示膜系统的语义。 (英语) 兹比尔1382.68069 西奥。计算。科学。 701, 85-108 (2017).MSC公司:2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{E.N.Todoran},Theor。计算。科学。701、85--108(2017;Zbl 1382.68069) 全文: 内政部
塞尔吉奥·安托伊;迈克尔·哈纳斯 Curry的默认规则。 (英语) Zbl 1379.68037号 理论与实践。日志。程序。 17,第2期,121-147(2017).MSC公司:68N17号 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{M.Hanus},理论与实践。日志。程序。17,No.2,121--147(2017;Zbl 1379.68037) 全文: 内政部 arXiv公司
安德烈亚斯·亚贝尔;斯蒂芬·阿德尔斯伯格;安东·塞泽尔 Agda中的交互式编程–对象和图形用户界面。 (英语) Zbl 1418.68031号 J.功能。程序。 27,论文编号e8,54 p.(2017).MSC公司:68甲18 68吨15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{A.Abel}等人,J.Funct。程序。27,论文编号e8,54 p.(2017;Zbl 1418.68031) 全文: 内政部
德伊安·斯特凡;大卫·马齐埃尔;约翰·米切尔(John C.Mitchell)。;亚历杭德罗·拉索 存在异常时的灵活动态信息流控制。 (英语) Zbl 1418.68043号 J.功能。程序。 27,论文编号e5,第56页(2017).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Stefan}等人,J.Funct。程序。27,论文编号e5,56 p.(2017;Zbl 1418.68043) 全文: 内政部 arXiv公司
尼古拉斯·斯莫尔博内;穆阿·约翰逊;科恩·克莱森;马克西米利安·阿尔盖德 为忙碌的程序员提供快速规范。 (英语) Zbl 1418.68037号 J.功能。程序。 27,论文编号e18,49 p.(2017).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Smallbone}等人,J.Funct。程序。27,论文编号e18,49 p.(2017;Zbl 1418.68037) 全文: 内政部
罗曼·爱德曼;西蒙·布利兹;约瑟夫·西法基斯 函数式BIP:在函数式编程语言中嵌入连接器。 (英语) Zbl 1373.68173号 J.日志。阿尔盖布。方法程序。 92, 19-44 (2017).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Edelmann}等人,J.Log。阿尔盖布。方法计划。92、19-44(2017年;Zbl 1373.68173) 全文: 内政部 链接
吉尔根·吉斯尔;科尼利厄斯·阿舍曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;奥托·卡斯滕;马丁·普吕克;Schneider Kamp,彼得;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 使用自动分析程序终止和复杂性AProVE公司. (英语) Zbl 1409.68255号 J.汽车。推理 58,第1期,3-31(2017).MSC公司:68吨15 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Giesl}等人,J.Autom。推理58,No.1,3--31(2017;Zbl 1409.68255) 全文: 内政部
托拜厄斯·赫尔姆斯;汤姆·沃克;卡斯滕·莫斯;阿德琳德·M·乌尔马赫。 一种可表达的多级建模语言的语义和高效模拟算法。 (英语) Zbl 1369.93068号 ACM事务处理。模型。计算。模拟。 27,第2号,第8条,第25页(2017年).MSC公司:93年30日 92立方37 92立方厘米 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{T.Helms}等人,ACM Trans。模型。计算。模拟。27,第2号,第8条,第25页(2017年;Zbl 1369.93068) 全文: 内政部
塞尔吉奥·安托伊;迈克尔·哈纳斯 将布尔等式转换为约束。 (英语) Zbl 1362.68034号 正式Asp。计算。 29,第3期,475-494(2017).MSC公司:68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}和\textit{M.Hanus},正式Asp。计算。29,第3号,475--494(2017;Zbl 1362.68034) 全文: 内政部
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 (英语) Zbl 1362.68054号 正式Asp。计算。 29,第3期,423-452(2017).MSC公司:68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik},正式Asp。计算。29,第3号,423--452(2017;Zbl 1362.68054) 全文: 内政部
Helle Hvid Hansen先生;库普克,克莱门斯;简·拉特 流微分方程:规范格式和求解方法。 (英语) 兹比尔1451.68181 日志。方法计算。科学。 13,第1号,第3号论文,51页(2017年).MSC公司:70年第68季度 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}等人,《日志》。方法计算。科学。13,第1号,第3号论文,51页(2017;Zbl 1451.68181) 全文: 内政部 arXiv公司
萨尔瓦多卢卡斯;何塞·梅塞盖尔 证明条件项重写系统终止性质的依赖对。 (英语) Zbl 1353.68155号 J.日志。阿尔盖布。方法程序。 86,编号1236-268(2017).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer},J.Log。阿尔盖布。方法计划。86,No.1,236--268(2017;Zbl 1353.68155) 全文: 内政部
艾丽克斯·方丹;阿克卡·泽马里 RDA:一个Coq库,用于推理消息传递模型中的随机分布式算法。 (英语) Zbl 1424.68147号 科学。Ann.计算。科学。 26,第2号,157-186(2016).MSC公司:68吨15 68宽15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{A.Fontaine}和\textit{A.Zemmari},科学。Ann.计算。科学。26,第2号,157--186(2016;Zbl 1424.68147) 全文: 内政部
约阿希姆·布雷特纳;理查德·艾森伯格。;西蒙·佩顿·琼斯;斯蒂芬妮·威里奇 Haskell的安全零成本胁迫。 (英语) Zbl 1420.68035号 J.功能。程序。 26,论文编号e15,79 p.(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Breitner}等人,J.Funct。程序。26,论文编号e15,79 p.(2016;Zbl 1420.68035) 全文: 内政部
迪特尔,M。;霍斯特梅耶,T。;罗根。;J·伯特霍尔德。 伊甸园的骨架组成与稳定的工艺系统。 (英语) Zbl 1420.68037号 J.功能。程序。 26,论文编号e11,40 p.(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \文本{M.Dieterle}等人,J.Funct。程序。26,论文编号e11,40 p.(2016;Zbl 1420.68037) 全文: 内政部
Sivaramakrishnan,K.C。;蒂姆·哈里斯;西蒙·马洛;西蒙·佩顿·琼斯 Haskell的可组合调度程序激活。 (英语) Zbl 1420.68057号 J.功能。程序。 26,论文编号e9,39 p.(2016).MSC公司:68N20型 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Sivaramakrishnan}等人,J.Funct。程序。26,论文编号e9,39 p.(2016;Zbl 1420.68057) 全文: 内政部
罗伯特·斯图尔特;帕特里克·梅尔;菲尔·特林德 可扩展函数计算的透明容错。 (英语) Zbl 1420.68026号 J.功能。程序。 26,论文编号e5,42 p.(2016).MSC公司:68米15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Stewart}等人,J.Funct。程序。26,论文编号e5,42 p.(2016;Zbl 1420.68026) 全文: 内政部
博·乔尔·斯文森;牛顿,瑞安·R。;玛丽·希兰 一种用于GPU上分层数据并行设计空间探索的语言。 (英语) 兹比尔1420.68046 J.功能。程序。 26,论文编号e6,53 p.(2016).MSC公司:68甲18 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Svensson}等人,J.Funct。程序。26,论文编号e6,53 p.(2016;Zbl 1420.68046) 全文: 内政部
罗伦·安德森 \(P_3\square P_n\)和\(P_3\square C_n\)的Edge-Grundy数。 (英语) Zbl 1397.05054号 国际数学杂志。计算。科学。 11,第1号,33-42(2016).MSC公司:05C15号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Anderson},国际数学杂志。计算。科学。11、第1号、第33-42号(2016;Zbl 1397.05054) 全文: 链接
安娜·波夫;亚历山大·克劳斯;索索、马蒂厄 交互式定理证明程序中的偏爱和递归——概述。 (英语) Zbl 1361.68186号 数学。结构。计算。科学。 26,第1号,38-88(2016).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bove}等人,数学。结构。计算。科学。26,第1号,第38--88号(2016;Zbl 1361.68186) 全文: 内政部
何塞·努诺·奥利维拉;维克托·卡奇亚里·米拉尔多 “保持定义,改变类别”——一种基于状态的系统计算的实用方法。 (英语) Zbl 1344.68150号 J.日志。阿尔盖布。方法程序。 85,第4期,449-474(2016).MSC公司:70年第68季度 18立方厘米20 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira}和\textit{V.C.Miraldo},J.Log。阿尔盖布。方法计划。85,第4号,449--474(2016;Zbl 1344.68150) 全文: 内政部
西蒙·卡菲尔 计算\(K3\)曲面上点的Hilbert格式的积分上同调中的杯积。 (英语) Zbl 1347.14005号 LMS J.计算。数学。 19,第1期,78-97(2016). 审核人:格哈德·普菲斯特(凯泽斯劳滕) MSC公司:14日J10 2015年第14季度 17年5月 55N32型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kapfer},LMS J.计算。数学。19,第1号,第78--97条(2016;Zbl 1347.14005) 全文: 内政部 arXiv公司
米查尔·科内奇;瓦利德·塔哈;Ferenc A.Bartha。;简·杜拉茨;亚当·杜拉茨;亚伦·D·埃姆斯。 封闭混合自动机在Zeno点前后的行为。 (英语) Zbl 1336.93085号 非线性分析。,混合系统。 20, 1-20 (2016).MSC公司:93立方 93B40码 37号35 PDF格式BibTeX公司 XML格式引用 \textit{M.Konečn}等人,《非线性分析》。,混合系统。20,1--20(2016;Zbl 1336.93085) 全文: 内政部
约瑟夫·斯文宁森;埃米尔·阿克塞尔森 结合领域特定语言的深度和浅层嵌入。 (英语) Zbl 1387.68057号 计算。语言系统。结构。 44,B部分,143-165(2015).MSC公司:68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Sveningsson}和\textit{E.Axelsson},计算。语言系统。结构。44,B部分,143--165(2015;Zbl 1387.68057) 全文: 内政部
卡塔兹纳·格里吉尔;Lescanne,皮埃尔 二进制lambda演算中的计数和生成项。 (英语) Zbl 1419.68039号 J.功能。程序。 25,论文编号e24,25 p.(2015).MSC公司:68甲18 03B40型 2015年1月5日 PDF格式BibTeX公司 XML格式引用 \textit{K.Grygiel}和\textit{P.Lescanne},J.Funct。程序。25,论文编号e24,25 p.(2015;Zbl 1419.68039) 全文: 内政部 arXiv公司
维尔·蒂尔隆;塞缪尔·乌西·梅·凯拉;伊索莫特宁,维尔 用Haskell理解初学者的错误。 (英语) Zbl 1420.68048号 J.功能。程序。 25,论文编号e11,30 p.(2015).MSC公司:68甲18 97页40页 PDF格式BibTeX公司 XML格式引用 \textit{V.Tirronen}等人,J.Funct。程序。25,论文编号e11,30 p.(2015;Zbl 1420.68048) 全文: 内政部
杰苏斯·阿兰塞;Jose Divasón 高阶逻辑形式化和Gauss-Jordan算法函数语言的代码生成。 (英语) Zbl 1420.68185号 J.功能。程序。 25,论文编号e9,21 p.(2015).MSC公司:68吨15 65平方英尺 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{J.Divasón},J.Funct。程序。25,论文编号e9,21 p.(2015;Zbl 1420.68185) 全文: 内政部
科恩·克莱森;乔纳斯·杜雷格德;米查·H·帕卡。 生成具有均匀分布的约束随机数据。 (英语) Zbl 1420.68036号 J.功能。程序。 25,论文编号e8,31 p.(2015).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Claessen}等人,J.Funct。程序。25,论文编号e8,31 p.(2015;Zbl 1420.68036) 全文: 内政部
汉斯·乔治·沙顿 可分割伪随机发生器的评估。 (英语) Zbl 1420.68043号 J.功能。程序。 25,论文编号e6,20 p.(2015).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.G.Schaathun},J.Funct。程序。25,论文编号e6,20 p.(2015;Zbl 1420.68043) 全文: 内政部