Two-level game semantics
Two-level game semantics
复制标题
两级游戏语义
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Takeshi Tsukada
中科院分区：
文献类型：
--
作者：
塚田武志;小林直樹;加塩麻紀子;Takeshi Tsukada
登录
查看更多内容
CCS 中公平测试的完全抽象
DOI：
--
发表时间：
2013
期刊：
Conference on Algebra and Coalgebra in Computer Science
影响因子：
--
作者：
T. Hirschowitz
通讯作者：
T. Hirschowitz
字符串图中的游戏语义
DOI：
--
发表时间：
2012
期刊：
2012 27th Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Paul
通讯作者：
Paul
双范畴中的 KAN 扩展（关于弱双范畴，第三部分）
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
M. Grandis
通讯作者：
M. Grandis
过程和展开：粘合剂类别中的并发计算
影响因子：
0.5
作者：
Paolo Baldan;A. Corradini;T. Heindel;B. König;P. Sobocinski
通讯作者：
P. Sobocinski
用于加工和展开的预滑轮 *
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
Clovis Eberhart;T. Hirschowitz
通讯作者：
T. Hirschowitz