原名:From Linear-time to Branching-time
作品简介:出现在第 13 届 IEEE 计算机科学逻辑研讨会论文集，1998 年。y地址：学院和 EIA-0086264，由 BSF 拨款 9800096 和英特尔公司拨款。 1.其中两种形式主义都被证明等同于弱一元二阶理论。……
资源下载
VIP免费升级VIP
原名:From Linear-time to Branching-time
作品简介:出现在第 13 届 IEEE 计算机科学逻辑研讨会论文集，1998 年。y地址：学院和 EIA-0086264，由 BSF 拨款 9800096 和英特尔公司拨款。 1.其中两种形式主义都被证明等同于弱一元二阶理论。……
