HISTORY AND BASIC FEATURES OF THE CRITICAL-PAIR COMPLETION PROCEDURE

被引：37

作者：

BUCHBERGER, B

机构：

来源：

关键词：

D O I：

10.1016/S0747-7171(87)80020-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：3 / 38

页数：36

共 249 条

[1]

AHO AV, 1972, DESIGN OPTIMIZATION, P89

[2]

[Anonymous], SYMBOLIC LOGIC MECHA

[3]

[Anonymous], 1976, THESIS U PARIS 7

BACHMAIR, L ;

PLAISTED, DA .

BALLANTYNE, AM ;

LANKFORD, DS .

[6]

BAYER D, 1982, THESIS HARVARD U CAM

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

BERGMAN, GM .

[8] THUE SYSTEMS AS REWRITING-SYSTEMS [J].

BOOK, RV .

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

BOOK, RV .

[10]

Buchberger B., 1982, Computing (Supplementum), P11