同被引文献4
-
1银海，计算机工程与设计，1992年，6期，13页
-
2李智勇，计算机科学，1988年，2期
-
3张运桢，计算机学报，1988年，12卷，2期，157页
-
4廖湖声.函数式程序的分层λ抽象[J].计算机学报,1989,12(12):892-899. 被引量：2
-
1阳富民,冯玉才,吴永英,吴恒山.函数／逻辑语言归约实现技术[J].计算机研究与发展,1996,33(9):647-651.
-
2阳富民,冯玉才.函数／逻辑程序设计语言RFUNILOG[J].微型计算机,1995,15(1):31-34.
-
3金海,李智勇,张运桢.并行函数/逻辑程序设计语言PRFUNLOG[J].计算机工程与设计,1992,13(6):13-17.
-
4金海,李智勇,张运桢,阳富民,银海.ELNF演算的解释技术[J].软件学报,1994,5(3):49-54.
-
5金海.并行“函数／逻辑”语言PRFUNLOG[J].研究与开发,1991(3):23-26.
-
6卢炎生,阳富民,王道忠.一个函数/逻辑语言RELNF的设计与实现[J].计算机工程与应用,1993,29(3):33-37.
-
7张运桢,李智勇.LISP-ELP语言的实现技术[J].华中理工大学学报,1991,19(1):113-118.
-
8卢炎生,阳富民.函数/逻辑归约演算系统ELNF[J].计算机工程与应用,1992,28(11):39-42.
-
9阳富民,吴永英,冯玉才.ELNF归约演算[J].华中理工大学学报,1994,22(12):27-30.
;
