On Upper Bounds on the Church-Rosser Theorem
On Upper Bounds on the Church-Rosser Theorem
复制标题
论丘奇-罗瑟定理的上界
DOI：
10.4204/eptcs.235.2
复制
发表时间：
2017
影响因子：
--
通讯作者：
K. Fujita
中科院分区：
文献类型：
--
作者：
Y. Saiki;M. F. Sanjuan and J. A. Yorke;倉田 俊彦;齋藤三郎，奥村博，松浦勉;川北素子;K. Fujita
