位置：成果数据库 > 期刊 > 期刊详情页
集合代数是经典命题演算形式系统的语义解释
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：194-197
  • 语言：中文
  • 相关项目：高效算法与计算机体系结构融合
作者： 高庆狮|刘宏岚|杨炳儒|
同期刊论文项目
高效算法与计算机体系结构融合
期刊论文 10 会议论文 7 著作 1
同项目期刊论文
基于Aho-Corasick 算法的多模式匹配算法研究
巨型多不确定串匹配完全自动机及其快速生成算法
概率逻辑系统是与集合代数同态的布尔代数
概率命题逻辑是经典命题演算形式系统的随机事件语义
网格服务调度算法分布式部署和QoS性能分析
Giant complete automaton for uncertain multiple string matching and its high speed construction algo
An efficient automaton based matching algorithm and its application in intrusion detection system
自然语言合理句子的生成系统
基于Aho-Corasick算法的多模式匹配算法研究