On Repetitive Right Application of B-Terms

On Repetitive Right Application of B-Terms
复制标题

论B术语的重复权利应用

DOI：
10.4230/lipics.fscd.2018.18
复制
发表时间：
2018
期刊：
International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
影响因子：
--
通讯作者：
Keisuke Nakano
Keisuke Nakano
中科院分区：
--
文献类型：
--
作者：
Mirai Ikebuchi;Keisuke Nakano

文献摘要

相似文献