Misaki小岛;直纪西田 将不发生指定的运行时错误减少为约束重写的所有路径可达性问题。 (英语) Zbl 07741962号 J.日志。阿尔盖布。方法计划。 135,文章ID 100903,第19页(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kojima}和\textit{N.Nishida},J.Log。阿尔盖布。方法程序。135,文章ID 100903,19 p.(2023;Zbl 07741962) 全文: 内政部
克里斯托弗·波斯基特(Christopher M.Poskitt)。;丰满,细节 GP 2的一阶二阶错误逻辑。 (英语) Zbl 1529.68082号 J.日志。阿尔盖布。方法计划。 130,文章ID 100825,29 p.(2023).MSC公司:68号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Poskitt}和\textit{D.Plump},J.Log。阿尔盖布。方法程序。130,文章ID 100825,29 p.(2023;Zbl 1529.68082) 全文: 内政部 链接
张淑君;直纪西田 将正交归纳定义集转换为合流项重写系统。 (英语) Zbl 07531446号 J.日志。阿尔盖布。方法计划。 127,文章ID 100779,17 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhang}和\textit{N.Nishida},J.Log。阿尔盖布。方法程序。127,文章ID 100779,17 p.(2022;Zbl 07531446) 全文: 内政部
艾琳娜·莫瑞卡;拉丁·托菲吉(Ramtine Tofighi Shirazi);阿德里安·里斯科;植村康吉 通过重写逻辑检测硬件特洛伊木马。 (英语) Zbl 07531438号 J.日志。阿尔盖布。方法计划。 127,文章ID 100762,19 p.(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Asvoae}等人,J.Log。阿尔盖布。方法程序。127,文章ID 100762,19 p.(2022;Zbl 07531438) 全文: 内政部
内布拉斯加州纳赛尔;Jens Kosiol公司;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 为模型转换规则构造优化的约束保持应用条件。 (英语) Zbl 1451.68140号 J.日志。阿尔盖布。方法计划。 114,文章ID 100564,31 p.(2020).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nassar}等人,J.Log。阿尔盖布。方法程序。114,文章ID 100564,31 p.(2020;Zbl 1451.68140) 全文: 内政部
内维尔·格雷奇;伯恩德·菲舍尔;朱利安·拉特克 抢占式类型检查。 (英语) Zbl 1400.68056号 J.日志。阿尔盖布。方法计划。 101, 151-181 (2018).MSC公司:68号30 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Grech}等人,J.Log。阿尔盖布。方法程序。101151-181(2018;Zbl 1400.68056) 全文: 内政部 链接
直纪西田;阿德里安·帕拉西奥斯;德国维达尔 项重写中的可逆计算。 (英语) Zbl 1381.68107号 J.日志。阿尔盖布。方法计划。 94, 128-149 (2018).MSC公司:2012年第68季度 68号30 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,J.Log。阿尔盖布。方法程序。94、128——149(2018年;Zbl 1381.68107) 全文: 内政部 arXiv公司 链接
安东尼娜·奈菲沃达 作为前缀文法的乒乓协议:通过程序转换进行建模和验证。 (英语) Zbl 1348.68084号 J.日志。阿尔盖布。方法计划。 85,第5号,第1部分,782-804(2016).MSC公司:2012年第68季度 68号30 68页30 PDF格式BibTeX公司 XML格式引用 \textit{A.Nepevoda},J.Log。阿尔盖布。方法程序。85,第5号,第1部分,782--804(2016;Zbl 1348.68084) 全文: 内政部