COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES

被引：38

作者：

FAGES, F

HUET, G

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(86)90175-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：189 / 200

页数：12

共 54 条

[1]

[Anonymous], 1976, THESIS U PARIS 7

[2]

Baxter L., 1977, THESIS U WATERLOO

[3] UNDECIDABILITY OF 3RD ORDER DYADIC UNIFICATION PROBLEM [J].

BAXTER, LD .

INFORMATION AND CONTROL, 1978, 38 (02) :170-178

[4]

COLMERAUER A, 1982, PROLOG 2 MANUEL REFE

[5]

COLMERAUER A, 1972, ETUDE REALISATION UN

[6] HILBERTS TENTH PROBLEM IS UNSOLVABLE [J].

DAVIS, M .

[7]

EDER E, 1985, J SYMBOLIC COMPUT, V1

[8]

FAGES F, UNPUB J SYMBOLIC COM

[9]

FAGES F, 1984, LECTURE NOTES COMPUT, V170

[10]

FAGES F, 1985, INRIA368 RES REPT