EFFICIENT UNIFICATION OVER INFINITE TERMS

被引：37
作者：
JAFFAR, J [1 ]
机构：
[1] MONASH UNIV,DEPT COMP SCI,CLAYTON,VIC 3168,AUSTRALIA
来源：
NEW GENERATION COMPUTING | 1984年 / 2卷 / 03期
关键词：
D O I：
10.1007/BF03037057
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：207 / 219
页数：13
相关论文
共 9 条
  • [1] Aho A.V., 1983, DATA STRUCTURES ALGO
  • [2] BAXTER LD, 1976, CS7613 U WAT DEP COM
  • [3] Colmerauer A., 1982, LOGIC PROGRAMM, P231
  • [4] Corbin J., 1983, Information Processing 83. Proceedings of the IFIP 9th World Computer Congress, P909
  • [5] FUNDAMENTAL PROPERTIES OF INFINITE-TREES
    COURCELLE, B
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 25 (02) : 95 - 169
  • [6] MARTELLI A, 1982, ACM T PROGRAMMING LA, V4, P239
  • [7] MUKAI K, 1983, AUG P INT JOINT C AR, P547
  • [8] LINEAR UNIFICATION
    PATERSON, MS
    WEGMAN, MN
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (02) : 158 - 167
  • [9] EFFICIENCY OF A GOOD BUT NOT LINEAR SET UNION ALGORITHM
    TARJAN, RE
    [J]. JOURNAL OF THE ACM, 1975, 22 (02) : 215 - 225
1