尼古拉斯·贝尔;哈默(Russ Harmer);吉恩·克里文 作曲改写理论基础。 (英语) Zbl 07741959号 J.日志。阿尔盖布。方法计划。 135,文章ID 100893,78 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Behr}等人,J.Log。阿尔盖布。方法计划。135,文章ID 100893,78 p.(2023;Zbl 07741959) 全文: DOI程序 arXiv公司
恩里克·马丁·马汀;黑山,曼努埃尔;阿德里安·里斯科;胡安·罗德里格斯·霍塔拉;鲁宾·鲁比奥 使用可执行规范语言验证ROS NavFn规划器。 (英语) Zbl 07665444号 J.日志。阿尔盖布。方法计划。 132,文章ID 100860,23 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Martin-Martin}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100860,23 p.(2023;Zbl 07665444) 全文: DOI程序
达尼尔·霍帕西;佩特尔·贝雷茨基;西蒙,汤普森 非类型化的、按调用值的函数语言与未附带函数的程序等价性。 (英语) Zbl 07665441号 J.日志。阿尔盖布。方法计划。 132,文章ID 100857,22 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Horpácsi}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100857,22 p.(2023;Zbl 07665441) 全文: DOI程序 arXiv公司
安德烈·阿鲁索艾 认证区块链的Findel衍生品。 (英语) Zbl 1518.91271号 J.日志。阿尔盖布。方法计划。 121,文章ID 100665,20 p.(2021).MSC公司:9120国集团 91G80型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie},J.日志。阿尔盖布。方法计划。121,文章ID 100665,20 p.(2021;Zbl 1518.91271) 全文: DOI程序 arXiv公司
劳尔·费尔瓦里;弗朗西斯科·特鲁科;贝塔·齐利安尼 Coq中动态互模拟定理的验证。 (英语) Zbl 1518.68418号 J.日志。阿尔盖布。方法计划。 120,文章ID 100642,19 p.(2021).MSC公司:68V20型 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Fervari}等人,J.Log。阿尔盖布。方法计划。120,文章ID 100642,19 p.(2021;Zbl 1518.68418) 全文: DOI程序
弗拉德·鲁苏;诺瓦克,大卫 可达逻辑中的组合证明的(Co)归纳证明系统。 (英语) Zbl 1455.03040号 J.日志。阿尔盖布。方法计划。 118,文章ID 100619,28 p.(2021).MSC公司:03B70号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}和\textit{D.Nowak},J.Log。阿尔盖布。方法计划。118,文章ID 100619,28 p.(2021;Zbl 1455.03040) 全文: DOI程序 arXiv公司
沃尔夫拉姆·卡尔 教学工具中的计算关系代数证明计算检查. (英语) Zbl 1462.68217号 J.日志。阿尔盖布。方法计划。 117,文章ID 100581,39 p.(2020).MSC公司:68伏15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。方法计划。117,文章ID 100581,39 p.(2020;Zbl 1462.68217) 全文: DOI程序
福雷德里克·达布罗夫斯基 文本对齐的SPMD程序的指称语义。 (英语) Zbl 1435.68058号 J.日志。阿尔盖布。方法计划。 108, 90-104 (2019).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Dabrowski},J.Log。阿尔盖布。方法计划。108、90-104(2019年;Zbl 1435.68058) 全文: DOI程序
张静芝;王国辉;史志平;关勇;李永东 HOL Light中功能变化的形式化。 (英语) Zbl 1423.68427号 J.日志。阿尔盖布。方法计划。 106, 29-38 (2019).MSC公司:68吨15 49公里27 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,J.Log。阿尔盖布。方法计划。106、29-38(2019年;Zbl 1423.68427) 全文: DOI程序
埃利亚斯·卡斯特格林;乔尔·沃林;托拜厄斯·Wrigstad Bestow和atomic:使用隔离、委派和分组的并发编程。 (英语) Zbl 1400.68053号 J.日志。阿尔盖布。方法计划。 100130-151(2018).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Castegren}等人,J.Log。阿尔盖布。方法计划。100130-151(2018;Zbl 1400.68053) 全文: DOI程序 arXiv公司
马尔科·帕维奥蒂;杰斯珀·本特森 使用分离逻辑正式验证低级代码的异常。 (英语) Zbl 1382.68053号 J.日志。阿尔盖布。方法计划。 94, 1-14 (2018).MSC公司:68号30 03B70号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}和\textit{J.Bengtson},J.Log。阿尔盖布。方法计划。94、1-14(2018年;Zbl 1382.68053) 全文: DOI程序 链接
弗拉德鲁苏;安德烈·阿鲁索艾 在Maude中执行和验证高阶函数命令式程序。 (英语) Zbl 1372.68056号 J.日志。阿尔盖布。方法计划。 93, 68-91 (2017).MSC公司:68甲18 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}和\textit{A.Arusoaie},J.Log。阿尔盖布。方法计划。93、68-91(2017年;Zbl 1372.68056) 全文: DOI程序 哈尔
鲁道夫·伯哈默;Stucke,Insa公司;温特,迈克尔 使用关系代数方法和工具支持来研究和计算两分法。 (英语) Zbl 1371.68170号 J.日志。阿尔盖布。方法计划。 90, 102-124 (2017).MSC公司:68问题55 03E20型 03G15年 18磅10英寸 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。90、102-124(2017年;Zbl 1371.68170) 全文: DOI程序
伯纳多·托尼霍;吉田信子 以多方会话类型验证数据。 (英语) Zbl 1371.68201号 J.日志。阿尔盖布。方法计划。 90, 61-83 (2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Toninho}和\textit{N.Yoshida},J.Log。阿尔盖布。方法计划。90、61-83(2017年;Zbl 1371.68201) 全文: DOI程序
蒂亚戈·科古姆布雷罗;白子,Jun;维威克·萨卡尔 使用Coq对Habanero相位器进行形式化。 (英语) Zbl 1371.68050号 J.日志。阿尔盖布。方法计划。 90, 50-60 (2017).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Cogumbreiro}等人,J.Log。阿尔盖布。方法计划。90、50-60(2017年;Zbl 1371.68050) 全文: DOI程序 arXiv公司
亚历山德鲁·拉泽尔。;安德烈·索夫斯基 安全关键产品线翻译验证的值得信赖的变体派生。 (英语) Zbl 1392.68145号 J.日志。阿尔盖布。方法计划。 85,第6期,1154-1176(2016).MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Iosif-Laząr}和\textit{A.Wਲ਼sowski},J.Log。阿尔盖布。方法计划。85,第6号,1154--1176(2016;Zbl 1392.68145) 全文: DOI程序
洛伦佐·贝蒂尼 使用Xsemantics实现IDE的类型系统。 (英语) Zbl 1348.68030号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,655-680(2016).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini},J.Log。阿尔盖布。方法计划。85,第5号,第1部分,655--680(2016;Zbl 1348.68030) 全文: DOI程序
保罗·布鲁内特;Damien Pous 逆Kleene代数的算法。 (英语) Zbl 1345.68223号 J.日志。阿尔盖布。方法计划。 85,第4期,574-594(2016).MSC公司:70年第68季度 03C05号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brunet}和\textit{D.Pous},J.Log。阿尔盖布。方法计划。85,第4号,574--594(2016;Zbl 1345.68223) 全文: DOI程序
丹尼尔·赫希科夫;Jean-Marie,马迪奥;Xian、Xu 具有预序的(pi)-演算的行为理论。 (英语) Zbl 1330.68205号 J.日志。阿尔盖布。方法计划。 84,6号,806-825(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。阿尔盖布。方法计划。84,第6号,806--825(2015;Zbl 1330.68205) 全文: DOI程序 哈尔
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 Coq中Kleene代数项等价性的判定。 (英语) 兹比尔1329.68232 J.日志。阿尔盖布。方法计划。 84,第3期,377-401(2015).MSC公司:68吨15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法计划。84,第3号,377--401(2015;Zbl 1329.68232) 全文: DOI程序