量子Büchi自动机的等价刻画
11226266
2012
A0602.信息技术与不确定性的数学理论与方法
韩召伟
数学天元基金项目
副教授
陕西师范大学
3万元
单体二阶逻辑;Büchi自动机;量子逻辑;ω-正则语言;刻画
2013-01-01到2013-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 量子 Muller 自动机与单体二阶量子逻辑 | 期刊论文 | 韩召伟 李永明| |
| 2 | 量子Buchi自动机的代数及逻辑刻画 | 期刊论文 | 韩召伟| |
| 3 | 模糊Buchi自动机的等价刻画 | 期刊论文 | 韩召伟|李永明| |
查看更多信息请先登录或注册
