UNIFICATION IN BOOLEAN RINGS AND ABELIAN-GROUPS

被引：22

作者：

BOUDET, A ^{[1
]}

JOUANNAUD, JP ^{[1
]}

SCHMIDTSCHAUSS, M ^{[1
]}

机构：

[1] UNIV KAISERSLAUTERN,FACHBEREICH INFORMAT,D-6750 KAISERSLAUTERN,FED REP GER

来源：

关键词：

D O I：

10.1016/S0747-7171(89)80054-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：449 / 477

页数：29

共 35 条

[1]

BAADER F, 1989, 3RD P INT C REWR TEC, P2

[2]

BACHMAIR L, 1986, 1ST P LICS BOST

[3]

BOUDET A, 1987, UNIFICATION ANNEAUX

[4]

BURCKERT HJ, 1987, SR8708 TECHN REP

[5]

BUTTNER W, 1986, EMBEDDING BOOLEAN EX

[6]

DERSHOWITZ N, 1989, UNPUB HDB THEORETICA

[7] ASSOCIATIVE-COMMUTATIVE UNIFICATION [J].

FAGES, F .

[8]

FAGES F, 1983, 5TH P C AUT ALG PROG

[9]

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

[10]

FAY M, 1979, LECTURE NOTES COMPUT, V87