HOW TO CHOOSE THE WEIGHTS IN THE KNUTH-BENDIX ORDERING

被引：0

|

作者：

MARTIN, U

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 256卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：42 / 53

页数：12

相关论文

共 50 条

[31] THE KNUTH-BENDIX PROCEDURE FOR STRINGS AS A SUBSTITUTE FOR COSET ENUMERATION
SIMS, CC
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (4-5) : 439 - 442
[32] Derivation lengths and order types of Knuth-Bendix orders
Lepper, I
THEORETICAL COMPUTER SCIENCE, 2001, 269 (1-2) : 433 - 450
[33] Knuth-Bendix completion of theories of commuting group endomorphisms
Stump, A
Löchner, B
INFORMATION PROCESSING LETTERS, 2006, 98 (05) : 195 - 198
[34] A SIMPLE NON-TERMINATION TEST FOR THE KNUTH-BENDIX METHOD
PLAISTED, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 79 - 88
[35] Characterising Space Complexity Classes via Knuth-Bendix Orders
Bonfante, Guillaume
Moser, Georg
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 142 - +
[36] Knuth－Bendix过程的发散现象的研究
陈意云
计算机学报, 1994, (06) : 464 - 468
[37] The decidability of the first-order theory of Knuth-Bendix order
Zhang, T
Sipma, HB
Manna, Z
AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 131 - 148
[38] A THEOREM-PROVING APPROACH TO THE KNUTH-BENDIX COMPLETION ALGORITHM
KUCHLIN, W
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 144 : 101 - 108
[39] FAST KNUTH-BENDIX COMPLETION WITH A TERM REWRITING SYSTEM COMPILER
TOYAMA, Y
INFORMATION PROCESSING LETTERS, 1989, 32 (06) : 325 - 328
[40] A higher-order Knuth-Bendix procedure and its applications
Kusakari, Keiichirou
Chiba, Yuki
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2007, E90D (04) : 707 - 715

← 1 2 3 4 5 →