瑟·特凡·乔巴赫;多雷尔·卢卡努;安德烈·塞巴斯蒂安·布鲁安 使用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公司
吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔昆兹 产品程序和关系程序逻辑。 (英语) Zbl 1355.68047号 J.日志。阿尔盖布。方法计划。 85,第5号,第2部分,847-859(2016).MSC公司:68号30 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Log。阿尔盖布。方法计划。85,第5号,第2部分,847-859(2016;兹bl 1355.68047) 全文: DOI程序