Misaki小岛;直纪西田 将不发生指定的运行时错误减少为约束重写的所有路径可达性问题。 (英语) Zbl 07741962号 J.日志。阿尔盖布。方法计划。 135,文章ID 100903,19 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Kojima}和\textit{N.Nishida},J.Log。阿尔盖布。方法计划。135,文章ID 100903,19 p.(2023;Zbl 07741962) 全文: DOI程序
瑟·特凡·乔巴赫;多雷尔·卢卡努;安德烈·塞巴斯蒂安·布鲁安 使用LCTRS的基于操作的程序等价性证明。 (英语) Zbl 07741960号 J.日志。阿尔盖布。方法计划。 135,文章ID 100894,22 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{ö.Ciobác}等人,J.Log。阿尔盖布。方法计划。135,文章ID 100894,22 p.(2023;Zbl 07741960) 全文: DOI程序 arXiv公司