引用人
Jouannaud J公司 奥瑞哈斯F (2023) 拖曳的统一和拖曳改写的合流 程序设计中的逻辑和代数方法杂志 2016年10月10日/j.jlamp.2022.100845 131 (100845) 在线发布日期:2023年2月 Dowek G公司 弗雷·G Jouannaud J公司 刘杰 (2022) 左线性高阶重写理论通过检查它们的嵌套临界对的汇合 计算机科学中的数学结构 10.1017/S0960129522000044 (1-36) 在线发布日期:2022年3月17日 Hirokawa N号 纳格尔J 凡·奥斯特罗姆五世 小山口M (2019) 再论关键对分析的汇合 自动扣除–CADE 27 10.1007/978-3-030-29436-6_19 (319-336) 在线发布日期:2019-08-27 显示更多引用者