-

检索结果分析

结果分析中...
检索条件:"关键词=满模拟 "
条 记 录,以下是1-1
视图:
排序:
显示条数:
模拟下的一些保持性
《贵州民族大学学报(哲学社会科学版)》2016年第5期93-102,共10页李娜 
国家社科基金项目"超集;双仿及其在模态逻辑计算机科学中的应用研究"[项目编号:08BZX049]
令F和F'是两个模态框架,本文(不用对应理论)首先证明当f是F到F'上的同态时,f具有一些保持性;第二,证明了如果Z是框架F到F'上的一个模拟,那么Z具有一些保持性质。第三,证明了模拟的等价条件和互模拟的等价条件以及模拟和互模拟关系...
关键词:同态 模拟 模拟 不交并 
检索报告 对象比较 聚类工具 使用帮助 返回顶部