一个引文
归纳定义谓词分离逻辑中的可追踪和不可解蕴涵问题
2023
39参考文献
归纳和无限下降的完全序贯演算
2007
用树自动机判定归纳分离逻辑中的蕴涵
2014
归纳定义分离逻辑中的可判定蕴涵:超越建立
2021
结构、数据和分离的自然证明
2013
超越符号堆:用归纳定义决定分离逻辑
2020