描述逻辑εLN循环术语集的不动点语义及推理

著录项

• 来源
  《软件学报》 |2009年第3期|477-490|共14页
• 作者

  蒋运承; 王驹; 史忠植; 汤庸;

  展开▼
• 作者单位

  广西师范大学;

  计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  广西师范大学;

  计算机科学与信息工程学院;

  广西;

  桂林;

  541004;

  中国科学院;

  计算技术研究所;

  北京;

  100190;

  中山大学;

  计算机科学系;

  广东;

  广州;

  510275;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  描述逻辑; εLN; 循环术语集; 描述图; 模拟关系; 不动点语义;