Koki Nishizawa, and Norihiro Tsumagari

Koki Nishizawa, and Norihiro Tsumagari
复制标题

西泽功起、嬬典宏

DOI:
--
复制
发表时间:
--
期刊:
Multirelational Models of Lazy, Monodic Tree, and Probabilistic Kleene Algebras, Bulletin of Informatics and Cybernetics (掲載決定)
影响因子:
--
通讯作者:
Hitoshi Furusawa
Hitoshi Furusawa
中科院分区:
--
文献类型:
--
作者:
Shoji Yokura;Shoji Yokura;Shoji Yokura;S. Tsuboi;Hitoshi Furusawa

文献摘要

参考文献

相似文献

Q-模块是 Q-SUPLATTICE
DOI: --
发表时间: 2008
期刊: arXiv: Category Theory
影响因子: --
作者:
Isar Stubbe
通讯作者: Isar Stubbe
凸性、对偶性和效应
DOI: 10.1007/978-3-642-15240-5_1
发表时间: 2010
期刊: J. Comb. Theory B
影响因子: --
作者:
B. Jacobs
通讯作者: B. Jacobs
作为闭环多重关系的单调谓词变换器
DOI: 10.1007/11828563_21
发表时间: 2006
期刊: ACM Trans. Program. Lang. Syst.
影响因子: --
作者:
Ingrid Rewitzky;C. Brink
通讯作者: C. Brink
多重关系的代数
DOI: 10.1017/s0960129512000965
发表时间: 2013
影响因子: 0.5
作者:
Clare E. Martin;S. Curtis
通讯作者: S. Curtis
多重关系和谓词变换器的关系代数方法
DOI: 10.1007/978-3-319-19797-5_3
发表时间: 2015
期刊: --
影响因子: --
作者:
R. Berghammer;Walter Guttmann
通讯作者: Walter Guttmann