云南高校图书馆联盟文献共享服务平台- TUTORIAL

TUTORIAL: 作品数：70被引量：149H指数：5; 导出分析报告; 相关领域：文化科学更多>>; 相关作者：王炳焕黄荣荣李丽萍刘松郑艳群更多>>; 相关机构：南阳理工学院北京华文学院河北外国语职业学院早稻田大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划河北省自然科学基金北京市自然科学基金更多>>

-

在结果中检索

检索结果分析

结果分析中...

选择条件：

期刊=Frontiers of Computer Science

共条记录，以下是1-1

全选清除导出

参考文献引证文献引用追踪

视图：

排序：

Using coalgebras and the Giry monad for interpreting game logics a tutorial: 《Frontiers of Computer Science》2017年第6期948-970,共23页Ernst-Erich DOBERKAT; The stochastic interpretation of Parikh＇s game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rather, a specific and more general appr...; 关键词：COALGEBRAS modal logics MONADS Giry monad upper closed monad composition of monads game logics

全选清除导出

共1页<1>

检索报告对象比较聚类工具使用帮助返回顶部