ASSOCIATIVE-COMMUTATIVE UNIFICATION

被引：27

作者：

FAGES, F

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(87)80004-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：257 / 275

页数：19

共 31 条

[1]

[Anonymous], 1976, THESIS U PARIS 7

[2]

BENANAV D, 1985, 1ST P INT C REWR TEC

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

DAVIS, M .

[4] ON THE SEQUENTIAL NATURE OF UNIFICATION. [J].

Dwork, Cynthia ;

Kanellakis, Paris C. ;

Mitchell, John C. .

Journal of Logic Programming, 1984, 1 (01) :35-50

[5]

EDER E, 1985, JSC, V1

[6] COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES [J].

FAGES, F ;

HUET, G .

[7]

FORTENBACHER A, 1985, IN PRESS JSC

[8]

HEROLD A, 1985, UNIFICATION ABELIAN

[9]

HEROLD A, 1986, LNCS, V230

HUET, G .