書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合
書き換え帰納法による帰納的定理証明と循環余帰納法による余帰納的定理証明の融合
复制标题
重写归纳法的归纳定理证明与循环共归纳法的共归纳定理证明的融合
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
青戸 等人
中科院分区：
文献类型：
--
作者：
南山 駿人;青戸 等人
