-
薛艳
-
-
- 所属机构:陕西师范大学计算机科学学院
- 所在地区:陕西省 西安市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李永明
- 作品数：225被引量：470H指数：12
- 供职机构：陕西师范大学
- 研究主题：计算树逻辑 量子 量子逻辑 加权 格半群
- 邓辉
- 作品数：5被引量：11H指数：1
- 供职机构：陕西师范大学
- 研究主题：互模拟 KRIPKE结构 黑非洲 逻辑与 外源
- 雷红轩
- 作品数：37被引量：86H指数：7
- 供职机构：内江师范学院数学与信息科学学院
- 研究主题：模糊自动机 格半群 量子 同态 等价
- 李亚利
- 作品数：6被引量：17H指数：2
- 供职机构：陕西师范大学计算机科学学院
- 研究主题：互模拟 计算树逻辑 KRIPKE结构 等价性 教学目标
