萨尔瓦多卢卡斯 条件重写系统和广义项重写系统的局部汇合。 (英语) Zbl 07803178号 J.日志。阿尔盖布。方法计划。 136,文章ID 100926,第23页(2024)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。阿尔盖布。方法计划。136,文章ID 100926,23 p.(2024;Zbl 07803178) 全文: 内政部
贾科莫·马莱托;卢卡·罗维斯 证明可逆本原置换的表达能力和算法精益。 (英语) Zbl 07803175号 J.日志。阿尔盖布。方法计划。 136,文章ID 100923,16 p.(2024)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Maletto}和\textit{L.Roversi},J.Log。阿尔盖布。方法计划。136,文章ID 100923,16 p.(2024;Zbl 07803175) 全文: 内政部
罗德里戈·拉亚;维克托·库恰克 关于代数阵列理论。 (英语) Zbl 07803169号 J.日志。阿尔盖布。方法计划。 136,文章ID 100906,第30页(2024)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Raya}和\textit{V.Kunčak},J.Log。阿尔盖布。方法计划。136,文章ID 100906,30 p.(2024;Zbl 07803169) 全文: 内政部
王国辉;陈珊妍;关勇;史志平;李锡盟;张敬之 三指灵巧手逆运动学的形式化。 (英语) Zbl 1520.70003号 J.日志。阿尔盖布。方法计划。 133,文章ID 100861,20 p.(2023)。 审核人:马丁·普弗纳(因斯布鲁克) MSC公司:70B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人,J.Log。阿尔盖布。方法计划。133,文章ID 100861,20 p.(2023;Zbl 1520.70003) 全文: 内政部
尼科洛·维尔特里;安德烈亚·维佐西 在Guarded Cubical Agda中形式化CCS和\(\pi\)-演算。 (英语) Zbl 1512.68176号 J.日志。阿尔盖布。方法计划。 131,文章ID 100846,23 p.(2023)。MSC公司:68问题85 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Veltri}和\textit{A.Vezzosi},J.Log。阿尔盖布。方法计划。131,文章ID 100846,23 p.(2023;Zbl 1512.68176) 全文: 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔;卡米洛·罗查 一种重写逻辑方法,用于在后续系统中进行规范、证明和元证明。 (英语) Zbl 07618126号 J.日志。阿尔盖布。方法计划。 130,文章ID 100827,37 p.(2023)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100827,37 p.(2023;Zbl 07618126) 全文: 内政部 arXiv公司
徐,熊;詹伯华;王淑玲;Jean-Pierre塔宾;詹乃军 具有高阶UTP的simulink的一种指称语义。 (英语) Zbl 07618116号 J.日志。阿尔盖布。方法计划。 130,文章ID 100809,24 p.(2023)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100809,24 p.(2023;Zbl 07618116) 全文: 内政部 哈尔
克莱门·奥伯特;Daniele瓦拉卡 针对测试的过程:定义上下文等效性。 (英语) Zbl 07595225号 J.日志。阿尔盖布。方法计划。 129,文章ID 100799,18 p.(2022)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{D.Varacca},J.Log。阿尔盖布。方法计划。129,文章ID 100799,18 p.(2022;Zbl 07595225) 全文: 内政部 arXiv公司 哈尔
保罗·马斯奇 形式化分析PVS验证系统的应用程序编程接口。 (英语) Zbl 07576523号 J.日志。阿尔盖布。方法计划。 128,文章ID 100793,第16页(2022)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Masci},J.Log。阿尔盖布。方法计划。128,文章ID 100793,16 p.(2022;Zbl 07576523) 全文: 内政部
吉木中村 二元关系正演算的表达能力和简洁性。 (英语) Zbl 07531436号 J.日志。阿尔盖布。方法计划。 127,文章ID 100760,26 p.(2022)。MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nakamura},J.Log。阿尔盖布。方法计划。127,文章ID 100760,第26页(2022;Zbl 07531436) 全文: 内政部
马克·奥利弗·斯特尔;金敏英;卡罗琳·塔尔科特。 神经符号学习和推理的概率近似逻辑。 (英语) Zbl 1523.68095号 J.日志。阿尔盖布。方法计划。 124,文章ID 100719,31 p.(2022)。MSC公司:68T27型 03B48 2017年10月68日 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.-O.Stehr}等人,J.Log。阿尔盖布。方法计划。124,文章ID 100719,31 p.(2022;Zbl 1523.68095) 全文: 内政部
雷内·蒂曼 决定矩阵增长的Perron-Frobenius定理。 (英语) Zbl 1528.68394号 J.日志。阿尔盖布。方法计划。 123,文章ID 100699,9 p.(2021)。MSC公司:68伏15 15甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiemann},J.Log。阿尔盖布。方法计划。123,文章ID 100699,第9页(2021;Zbl 1528.68394) 全文: 内政部
萨尔瓦多卢卡斯 上下文敏感重写的应用和扩展。 (英语) Zbl 1518.68157号 J.日志。阿尔盖布。方法计划。 121,文章ID 100680,33 p.(2021)。MSC公司:2012年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},J.Log。阿尔盖布。方法计划。121,文章ID 100680,33 p.(2021;Zbl 1518.68157) 全文: 内政部 链接
乔治亚娜·卡尔泰斯;昆卡罐Tunç 解释NetKAT中的安全故障。 (英语) 兹比尔1518.68046 J.日志。阿尔盖布。方法计划。 121,文章ID 100676,16 p.(2021)。MSC公司:68号30 03B70号 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}和\textit{H.C.Tunç},J.Log。阿尔盖布。方法计划。121,文章ID 100676,16 p.(2021;Zbl 1518.68046) 全文: 内政部 arXiv公司
安德烈·阿鲁索艾 认证区块链的Findel衍生品。 (英语) Zbl 1518.91271号 J.日志。阿尔盖布。方法计划。 121,文章ID 100665,第20页(2021)。MSC公司:91克20 91G80型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie},J.Log。阿尔盖布。方法计划。121,文章ID 100665,20 p.(2021;Zbl 1518.91271) 全文: 内政部 arXiv公司
Jean-Christophe Filliátre 使用分散不变量进行更简单的证明。 (英语) Zbl 1518.68048号 J.日志。阿尔盖布。方法计划。 121,文章ID 100645,第7页(2021)。MSC公司:68号30 第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Filliátre},J.Log。阿尔盖布。方法计划。121,文章ID 100645,第7页(2021;Zbl 1518.68048) 全文: 内政部 哈尔
马里乌斯·博兹加;拉杜·奥西夫;约瑟夫·西法基斯 检查基于参数化组件的系统的死锁自由度。 (英语) Zbl 1455.68102号 J.日志。阿尔盖布。方法计划。 119,文章ID 100621,23 p.(2021)。MSC公司:第68季度第60季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozga}等人,J.Log。阿尔盖布。方法计划。119,文章ID 100621,23 p.(2021;Zbl 1455.68102) 全文: 内政部 arXiv公司
鲁道夫·伯格哈默;Hitoshi Furusawa;沃尔特·古特曼;彼得·霍夫纳 路径的关系特征。 (英语) Zbl 1462.05198号 J.日志。阿尔盖布。方法计划。 117,文章ID 100590,19 p.(2020)。MSC公司:05C38号 03B35型 03G15年 05C85号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}等人,J.Log。阿尔盖布。方法计划。117,文章ID 100590,19 p.(2020;Zbl 1462.05198) 全文: 内政部 arXiv公司
奥斯卡·亚伯拉罕森 一种用于高阶逻辑的验证验证检查器。 (英语) Zbl 1433.68527号 J.日志。阿尔盖布。方法计划。 112,文章ID 100530,19 p.(2020)。MSC公司:68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{O.Abrahamsson},J.Log。阿尔盖布。方法计划。112,文章ID 100530,第19页(2020;Zbl 1433.68527) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 识别特征公式的复杂性。 (英语) Zbl 1433.68163号 J.日志。阿尔盖布。方法计划。 112,文章ID 100529,20 p.(2020)。MSC公司:65年第68季度 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。112,文章ID 100529,20 p.(2020;Zbl 1433.68163) 全文: 内政部
何塞·梅塞格尔 广义重写理论、连贯完成和符号方法。 (英语) Zbl 1496.68166号 J.日志。阿尔盖布。方法计划。 110,文章ID 100483,39 p.(2020)。MSC公司:2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.Log。阿尔盖布。方法计划。110,文章ID 100483,39 p.(2020;Zbl 1496.68166) 全文: 内政部 链接
张敬之;王国辉;史志平;关勇;李永东 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) 全文: 内政部
瓦格伏尔盖,桑多尔 一些可判定性会导致单程减少。 (英语) Zbl 1429.68094号 J.日志。阿尔盖布。方法计划。 105,47-74(2019)。 审核人:马格努斯·斯坦比(图尔库) MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。方法计划。105,47-74(2019;Zbl 1429.68094) 全文: 内政部
科西莫·拉内夫;迈克尔·连哈特;Ka I.潘。;吉列尔莫·罗曼·迪兹 演员节目的时间分析。 (英语) Zbl 1423.68090号 J.日志。阿尔盖布。方法计划。 105, 1-27 (2019)。MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}等人,J.Log。阿尔盖布。方法计划。105,1-27(2019年;Zbl 1423.68090) 全文: 内政部 哈尔
阿隆索-吉梅内斯,何塞A。;Aranda-Corral,冈萨罗A。;博雷戈·迪亚斯(Borrego-Díaz,Joaquín);Fernández-Lebrón,M.Magdalena;JoséHidalgo-Doblado,M。 用于基于知识的系统推理的逻辑代数工具。 (英语) Zbl 1400.68210号 J.日志。阿尔盖布。方法计划。 10188-109(2018)。MSC公司:68层35 68问题55 68T27型 68立方英尺 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Alonso-Jiménez}等人,J.Log。阿尔盖布。方法计划。101、88-109(2018;Zbl 1400.68210) 全文: 内政部 arXiv公司
卡洛斯·格雷戈里奥·罗德里格斯;路易斯·拉纳;拉斐尔·马丁内斯 一致性关系的公理语义。 (英语) Zbl 1400.68133号 J.日志。阿尔盖布。方法计划。 100, 152-184 (2018)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Gregorio-Rodríguez}等人,J.Log。阿尔盖布。方法计划。100252-184(2018年;兹比尔1400.68133) 全文: 内政部
西尔万·戴勒;大卫·豪扎尔;克劳德·马奇;扬尼克·莫伊 为反例生成插入最弱的前提演算。 (英语) Zbl 1395.68097号 J.日志。阿尔盖布。方法计划。 99, 97-113 (2018)。MSC公司:68纳米99 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Dailler}等人,J.Log。阿尔盖布。方法计划。99,97-113(2018;Zbl 1395.68097) 全文: 内政部 哈尔
杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 符号执行的位向量算法程序的终止和复杂性分析。 (英语) 兹比尔1395.68093 J.日志。阿尔盖布。方法计划。 97105-130(2018)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hensel}等人,J.Log。阿尔盖布。方法计划。97、105——130(2018;Zbl 1395.68093) 全文: 内政部
斯蒂芬·斯基里克;何塞·梅塞格尔 变量可满足性的元级算法。 (英语) Zbl 1430.68423号 J.日志。阿尔盖布。方法计划。 96, 81-110 (2018)。MSC公司:68伏15 18立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Skeirik}和\textit{J.Meseguer},J.Log。阿尔盖布。方法计划。96、81-110(2018年;Zbl 1430.68423) 全文: 内政部 链接
马尔科·帕维奥蒂;杰斯珀·本特森 使用分离逻辑正式验证低级代码的异常。 (英语) 兹比尔1382.68053 J.日志。阿尔盖布。方法计划。 94, 1-14 (2018)。MSC公司:68号30 03B70号 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}和\textit{J.Bengtson},J.Log。阿尔盖布。方法计划。94、1-14(2018年;Zbl 1382.68053) 全文: 内政部 链接
托马索·博洛涅西;Ciancia,文森佐 探索名义细胞自动机。 (英语) Zbl 1378.68115号 J.日志。阿尔盖布。方法计划。 93, 23-41 (2017)。MSC公司:68克80 PDF格式BibTeX公司 XML格式引用 \textit{T.Bolognesi}和\textit{V.Ciancia},J.日志。阿尔盖布。方法计划。93、23-41(2017年;Zbl 1378.68115) 全文: 内政部 arXiv公司
迈托·阿拉皮尼斯;刘佳;艾克·里特;马克·瑞恩 状态应用pi演算:观测等价性和标记双相似性。 (英语) Zbl 1407.68324号 J.日志。阿尔盖布。方法计划。 89, 95-149 (2017)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Arapinis}等人,J.Log。阿尔盖布。方法计划。89,95-149(2017年;兹比尔1407.68324) 全文: 内政部 链接
斯特凡尼德劳恩;卢卡赫希 密码协议中建立基于等价性属性的符号方法综述。 (英语) Zbl 1359.68023号 J.日志。阿尔盖布。方法计划。 87, 127-144 (2017)。MSC公司:68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi},J.Log。阿尔盖布。方法计划。87、127--144(2017;Zbl 1359.68023) 全文: 内政部 arXiv公司
卡米洛·罗查;何塞·梅塞格尔;塞萨尔·穆尼奥斯 重写模块SMT和开放系统分析。 (英语) 兹比尔1353.68156 J.日志。阿尔盖布。方法计划。 86,第1号,269-297(2017)。MSC公司:2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}等人,J.Log。阿尔盖布。方法计划。86,No.1,269--297(2017;Zbl 1353.68156) 全文: 内政部
萨尔瓦多卢卡斯;何塞·梅塞格尔 证明条件项重写系统终止性质的依赖对。 (英语) Zbl 1353.68155号 J.日志。阿尔盖布。方法计划。 86,第1期,236-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) 全文: 内政部
托马斯·杰奈特 树自动机完成的终止标准。 (英语) Zbl 1356.68132号 J.日志。阿尔盖布。方法计划。 85,第1号,第1部分,3-33(2016)。MSC公司:65年第68季度 68甲18 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet},J.Log。阿尔盖布。方法计划。85,第1号,第1部分,第3-33条(2016;Zbl 1356.68132) 全文: 内政部
乌埃尔、古雷 一元二阶逻辑的增量推理与逻辑编程。 (英语) Zbl 1351.68056号 J.日志。阿尔盖布。方法计划。 85,第2号,316-331(2016)。MSC公司:68N17号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel},J.Log。阿尔盖布。方法计划。85,No.2,316--331(2016;Zbl 1351.68056) 全文: 内政部
丹尼尔·赫施科夫;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) 全文: 内政部 哈尔
瓦格伏尔盖,桑多尔 符号不同的术语重写系统。 (英语) Zbl 1332.68105号 J.日志。阿尔盖布。方法计划。 84,第5期,551-575(2015)。 审核人:马格努斯·斯坦比(图尔库) MSC公司:2012年第68季度 03D40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。方法计划。84,第5号,551--575(2015;Zbl 1332.68105) 全文: 内政部
内尔玛·莫雷拉;大卫·佩雷拉;西芒,索萨甜瓜 Coq中Kleene代数项等价性的判定。 (英语) Zbl 1329.68232号 J.日志。阿尔盖布。方法计划。 84,第3期,377-401(2015)。MSC公司:68吨15 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,J.Log。阿尔盖布。方法计划。84,第3号,377--401(2015;Zbl 1329.68232) 全文: 内政部
Dang,Han-Hing(韩红);Möller,Bernhard B。 扩展传递分离逻辑。 (英语) Zbl 1330.03071号 J.日志。阿尔盖布。方法计划。 84,编号303-325(2015)。MSC公司:03B70号 03G25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.B.Möller},J.Log。阿尔盖布。方法计划。84,第3号,303--325(2015;Zbl 1330.03071) 全文: 内政部
普洛塔萨,维奥雷尔;回来了,拉尔夫·约翰;约翰·埃里克森 Isabelle中不变图的验证和代码生成。 (英语) 兹比尔1304.68032 J.日志。阿尔盖布。方法计划。 84,第1期,19-36(2015)。MSC公司:68号30 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa}等人,J.Log。阿尔盖布。方法计划。84、1号、19-36(2015;Zbl 1304.68032) 全文: 内政部
阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 Tarski-Kleene层次结构中的数学编程和自动化。 (英语) Zbl 1434.68637号 J.日志。阿尔盖布。方法计划。 83,第2期,87-102(2014)。MSC公司:68伏15 03G15年 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}等人,J.Log。阿尔盖布。方法计划。83,第2号,87-102(2014年;兹bl 1434.68637) 全文: 内政部