位置：成果数据库 > 期刊 > 期刊详情页
可满足性问题的粘贴系统
  • ISSN号：1674-1730
  • 期刊名称：陇东学院学报
  • 时间：2012
  • 页码：9-11
  • 相关项目：DNA分子生物特征与生化反应过程的模型化研究
作者： 朱向东|汤建钢|
同期刊论文项目
DNA分子生物特征与生化反应过程的模型化研究
期刊论文 18
同项目期刊论文
基于群范畴的层结构、格值结构、L-fuzzy结构提升范畴及其关系
模糊集层次结构的本质刻画
函子之间的关系及其对伴随性的影响
模层范畴中态射的可裂性
DNA正则语言与DNA正则文法的对应关系
基于粘贴和删除系统求解最小权生成树的DNA算法
求解最大完全子图的一种DNA算法
基于粘贴系统的Watson-Crick正则文法及自动机
基于量子逻辑的l-值正则语言的广义泵引理
基于粘贴和删除系统求解旅行商问题的DNA算法
最小连接问题的DNA计算模型
最大匹配问题的DNA试管计算模型
L-fuzzy集理论的范畴基础与层表示
图的最小顶点覆盖的粘贴DNA计算模型
基于粘贴系统求解无向图最短路径问题的DNA计算模型
Ω-集范畴是幺半范畴
范畴Ω-Cat若干性质的研究
期刊信息
  • 《陇东学院学报》
  • 主管单位:甘肃省教育厅
  • 主办单位:陇东学院
  • 主编：朱世广
  • 地址：甘肃省庆阳市西峰区兰州路45号
  • 邮编：745000
  • 邮箱：ldxyxuebao@126.com
  • 电话：0934-8658702
  • 国际标准刊号：ISSN：1674-1730
  • 国内统一刊号：ISSN：62-1197/G4
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 中国国家哲学社会科学学术期刊数据库
  • 被引量:1444