AN EFFICIENT UNIFICATION ALGORITHM

被引：397

作者：

MARTELLI, A

MONTANARI, U

机构：

[1] CNR,ROME,ITALY

[2] UNIV PISA,I-56100 PISA,ITALY

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 02期

关键词：

D O I：

10.1145/357162.357169

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：258 / 282

页数：25

共 26 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2]

[Anonymous], SYMBOLIC LOGIC MECHA

[3]

[Anonymous], 1976, THESIS U PARIS 7

[4]

BAXTER LD, CS7613 U WAT DEP APP

[5]

BOYER RS, 1972, MACHINE INTELLEGENCE, V7, P101

[6] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[7]

HEWITT C, 1972, THESIS MASSACHUSETTS

[8]

Huet G. P., 1975, Theoretical Computer Science, V1, P27, DOI 10.1016/0304-3975(75)90011-0

[9]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263

[10]

LEVI G, 1975, LECT NOTES COMPUTER, V32, P294