您的位置： 专家智库 > >

贵州省科技厅科学技术基金(J[200912068)

作品数：1 被引量：0H指数：0
相关作者：张维余泉更多>>
相关机构：黔南民族师范学院更多>>
发文基金：贵州省科技厅科学技术基金贵州省教育厅自然科学研究项目更多>>
相关领域：理学更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇理学

主题

  • 1篇代数
  • 1篇代数结构
  • 1篇互模拟
  • 1篇MA

机构

  • 1篇黔南民族师范...

作者

  • 1篇余泉
  • 1篇张维

传媒

  • 1篇毕节学院学报...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
MALC模型间互模拟的代数结构
2010年
文[1]中给出模态描述逻辑MALC的语法与语义,同时给出MALC两个模型之间的互模拟关系,讨论MALC的模型之间互模拟及互模拟所组成集合具有的代数性质。
余泉张维
关键词：互模拟代数结构
全选 清除 导出
共1页<1>
聚类工具0