期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

函数/逻辑归约演算系统ELNF

下载PDF

导出

摘要 ELNF 演算是我们在 LNF 演算的基础之上自然扩展逻辑处理设施而成的函数/逻辑演算系统。本文简要介绍了 ELNF 的概念,较详细地描述了扩展的内容与方法.

作者卢炎生阳富民

机构地区华中理工大学

出处《计算机工程与应用》 CSCD 北大核心 1992年第11期39-42,共4页 Computer Engineering and Applications

关键词函数逻辑归约演算 ELNF

分类号 TP301.6 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

1阳富民,吴永英,冯玉才.ELNF归约演算[J].华中理工大学学报,1994,22(12):27-30.
2金海.并行“函数／逻辑”语言PRFUNLOG[J].研究与开发,1991(3):23-26.
3杨祥金.泛函程序设计语言实现中的图归约演算[J].计算机研究与发展,1993,30(12):12-25.
4阳富民,冯玉才,吴永英,吴恒山.函数／逻辑语言归约实现技术[J].计算机研究与发展,1996,33(9):647-651.
5金海,李智勇,张运桢,阳富民,银海.ELNF演算的解释技术[J].软件学报,1994,5(3):49-54.
6卢炎生,阳富民,王道忠.一个函数/逻辑语言RELNF的设计与实现[J].计算机工程与应用,1993,29(3):33-37.
7阳富民,冯玉才.函数／逻辑程序设计语言RFUNILOG[J].微型计算机,1995,15(1):31-34.
8孟朝晖.半边图模型之聚合归约演算[J].计算机工程与应用,2006,42(31):71-76. 被引量：3
9李智勇,阳富民.函数／逻辑程序设计语言RFUNLOG[J].计算机杂志,1991,19(1):51-60. 被引量：1
10张运桢,李智勇.LISP-ELP语言的实现技术[J].华中理工大学学报,1991,19(1):113-118.

计算机工程与应用

1992年第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部