位置：成果数据库 > 会议 > 会议详情页
Concatenation and Kleene Star on Deterministic Finite Automata
  • 所属机构名称：湖南大学
  • 会议名称：The 3rd International Conference on Quantitative Logic and Soft Computing (QL&SC2012)
  • 时间：2012.5.12
  • 成果类型：会议
  • 相关项目：描述逻辑及其扩展中的相容性问题和推理算法研究
作者： Guo-Qiang Zhang|Xiangnan Zhou|Robert Fraser|Licong Cui|
同会议论文项目
描述逻辑及其扩展中的相容性问题和推理算法研究
期刊论文 7 会议论文 2 获奖 1
同项目会议论文
Representations of algebraic domains and algebraic L-domains by information systems