COMPLETION OF A SET OF RULES MODULO A SET OF EQUATIONS

被引：190

作者：

JOUANNAUD, JP

KIRCHNER, H

机构：

来源：

关键词：

D O I：

10.1137/0215084

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1155 / 1194

页数：40

共 84 条

[1]

AHO AV, 1972, DESIGN OPTIMIZATION, P89

[2]

[Anonymous], 1980, INT C AUTOMATED DEDU

BALLANTYNE, AM ;

LANKFORD, DS .

[4] DIAMOND LEMMA FOR RING THEORY [J].

BERGMAN, GM .

[5] CONFLUENT AND OTHER TYPES OF THUE SYSTEMS [J].

BOOK, RV .

[6]

BUCHBERGER B, 1982, COMPUTING S, V4, P11

[7]

COHN PM, 1965, UNIVERSAL ALGEBRA

[8]

CORBIN J, 1983, P IFIPS, P909

[9]

DERANSART P, 1983, DERIVATION PROGRAMME

[10] ORDERINGS FOR TERM-REWRITING SYSTEMS [J].

DERSHOWITZ, N .