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 条
  • [1] AN INTRODUCTION TO KNUTH-BENDIX COMPLETION
    DICK, AJJ
    COMPUTER JOURNAL, 1991, 34 (01): : 2 - 15
  • [2] On Transfinite Knuth-Bendix Orders
    Kovacs, Laura
    Moser, Georg
    Voronkov, Andrei
    AUTOMATED DEDUCTION - CADA-23, 2011, 6803 : 384 - +
  • [3] Ordinals and Knuth-Bendix Orders
    Winkler, Sarah
    Zankl, Harald
    Middeldorp, Aart
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-18), 2012, 7180 : 420 - 434
  • [4] An extension of the Knuth-Bendix ordering with LPO-like properties
    Ludwig, Michel
    Waldmann, Uwe
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 348 - +
  • [5] AC-TERMINATION OF REWRITE SYSTEMS - A MODIFIED KNUTH-BENDIX ORDERING
    STEINBACH, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 372 - 386
  • [6] ON NONTERMINATION OF KNUTH-BENDIX ALGORITHM
    HERMANN, M
    PRIVARA, I
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 226 : 146 - 156
  • [7] A decision procedure for the existential theory of term algebras with the Knuth-Bendix ordering
    Korovin, K
    Voronkov, A
    15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 291 - 302
  • [8] FAST KNUTH-BENDIX COMPLETION - SUMMARY
    CHRISTIAN, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 551 - 555
  • [9] ON THE KNUTH-BENDIX COMPLETION FOR CONCURRENT PROCESSES
    DIEKERT, V
    THEORETICAL COMPUTER SCIENCE, 1989, 66 (02) : 117 - 136
  • [10] Orienting equalities with the Knuth-Bendix order
    Korovin, K
    Voronkov, A
    18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 75 - 84
12345