On Turing machines with syntactic restrictions
On Turing machines with syntactic restrictions
复制标题
在具有句法限制的图灵机上
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Nakano Keisuke
中科院分区：
文献类型：
--
作者：
Shinji Ito;Taira Tsuchiya;Junya Honda;Nakano Keisuke
登录
查看更多内容
异步π微积分中控制可达问题的可判定性
DOI：
--
发表时间：
2002
期刊：
Nord. J. Comput.
影响因子：
--
作者：
R. Amadio;Charles Meyssonnier
通讯作者：
Charles Meyssonnier
论过程计算中全局优先级和局部优先级的表达力
DOI：
10.1007/978-3-540-74407-8_17
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Cristian Versari;N. Busi;R. Gorrieri
通讯作者：
R. Gorrieri
带优先级保护的 CCS
DOI：
10.1016/j.jlap.2007.06.005
发表时间：
2001
期刊：
--
影响因子：
--
作者：
I. Phillips
通讯作者：
I. Phillips
基本并行过程的不可判定等价
影响因子：
1
作者：
Hans Huttel;Naoki Kobayashi and Takashi Suto
通讯作者：
Naoki Kobayashi and Takashi Suto
重新审视 BPP 等价的不确定性
DOI：
--
发表时间：
2007
期刊：
--
影响因子：
--
作者：
Naoki Kobayashi;T. Suto
通讯作者：
T. Suto