Productivity of stream definitions
Productivity of stream definitions
复制标题
流定义的生产力
DOI：
10.1016/j.tcs.2009.10.014
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
J. Klop
中科院分区：
文献类型：
--
作者：
J. Endrullis;C. Grabmayer;D. Hendriks;Ariya Isihara;J. Klop
自动机无限运行的简单类型 Lambda 术语的有限语义
影响因子：
0.6
作者：
Aehlig K
通讯作者：
Aehlig K