NEGATION

作品数：51被引量：13H指数：2
导出分析报告
相关领域：语言文字更多>>
相关作者：李浩铭黄海李敏孟广君蔡江云更多>>
相关机构：北京师范大学浙江大学西北民族大学常州刘国钧高等职业技术学校更多>>
相关期刊：《攀枝花学院学报》《现代外语》《Journal of Social Computing》《希望月报（上）》更多>>
相关基金：国家自然科学基金国家教育部博士点基金湖北省自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
A Constructor-Based EI-Model Semantics ofEI-CTRS
《Journal of Computer Science & Technology》1995年第1期85-95,共11页王怀民 陈火旺 
This paper investigates the semantics of conditional term rewriting systemswith negation (denoted by EI-CTRS), called constructor-based EI-model se-mantics. The introduction of '≠' in EI-CTRS make EI-CTRS more diffic...
关键词：Conditional term rewriting model semantics NEGATION FIXPOINT CONSTRUCTOR 
Bottom-up Evaluation of Datalog with Negation
《Journal of Computer Science & Technology》1994年第3期229-244,共16页施伯乐 周傲英 
Declarative semantics gives the meaning of a logic program in terms of properties,while the procedural semantics gives the meaning in terms of the execution or evalua-tion of the program. From the database point of vi...
关键词：Deductive database logic programming NEGATION bottom-up evaluation 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部