AN ALGEBRAIC APPROACH TO UNIFICATION UNDER ASSOCIATIVITY AND COMMUTATIVITY

被引：5

作者：

FORTENBACHER, A

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(87)80001-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：217 / 229

页数：13

相关论文

共 18 条

[1]

BUTTER W, 1985, IN PRESS J AUTOM REA

[2]

COLLINS GE, 1980, SIGSAM B, V102

[3]

FAGES F, 1984, 7TH P INT C AUT DED

[4]

FORTENBACHER A, 1985, 1ST P INT C REWR TEC

[5]

FORTENBACHER A, 1983, THESIS U KARLSRUHE

[6]

GUCKENBIEHL T, 1985, SOLVING LINEAR DIOPH

[7]

HEROLD A, 1985, UNIFICATION ABELIAN

[8]

HUET G, 1978, INF P LETT, V7

[9]

HULLOT JM, 1979, 5TH INT JOINT C ART

[10]

LANKFORD D, UNPUB NEW NONNEGATIV