-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=形式计算模型 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
动态项重写计算被引量：2
《计算机科学》2002年第8期13-14,12,共3页冯速 
国家自然科学基金(重点项目)(19931020);教育部留学回国人员科研启动基金
1.引言 项重写系统是一种受到广泛研究和应用的形式计算模型.一个项重写系统由一组称为重写规则的定向等式组成.它的计算基于代入、匹配和替换,除具有方向性外,与等式推导一致.虽然项重写系统形式简单、计算单纯,但它同时又具有与λ计...
关键词：动态项重写计算 完备化算法 形式计算模型 元计算 计算机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部