Finite Behaviours and Finitary Corecursion
Finite Behaviours and Finitary Corecursion
复制标题
有限行为和有限共游
DOI：
10.4230/lipics.calco.2017.24
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
H. Urbat
中科院分区：
文献类型：
--
作者：
H. Urbat
登录
查看更多内容
迭代代数
影响因子：
0.6
作者：
J. Bell;Blake Madill
通讯作者：
Blake Madill
有限核心递归的新基础——局部有限不动点及其性质
DOI：
--
发表时间：
2016
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
Stefan Milius;D. Pattinson;Thorsten Wißmann
通讯作者：
Thorsten Wißmann
影响因子：
1
作者：
Milius, S
通讯作者：
Milius, S
DOI：
--
发表时间：
2011
期刊：
TOCL
影响因子：
--
作者：
M. Bonsangue;Stefan Milius;Alexandra Silva
通讯作者：
Alexandra Silva
影响因子：
0.8
作者：
J. Lambek
通讯作者：
J. Lambek