COMPLETE-SETS OF REDUCTIONS FOR SOME EQUATIONAL THEORIES

被引：236

|

作者：

PETERSON, GE ^{[1
]}

STICKEL, ME ^{[1
]}

机构：

[1] UNIV ARIZONA,TUCSON,AZ 85724

来源：

JOURNAL OF THE ACM | 1981年 / 28卷 / 02期

关键词：

D O I：

10.1145/322248.322251

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：233 / 264

页数：32

相关论文

共 50 条

[1] CONDITIONAL EQUATIONAL THEORIES AND COMPLETE-SETS OF TRANSFORMATIONS
HOLLDOBLER, S
THEORETICAL COMPUTER SCIENCE, 1990, 75 (1-2) : 85 - 110
[2] COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES
FAGES, F
HUET, G
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 159 : 205 - 220
[3] COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES
FAGES, F
HUET, G
THEORETICAL COMPUTER SCIENCE, 1986, 43 (2-3) : 189 - 200
[4] COMPLETE-SETS OF REDUCTIONS MODULO ASSOCIATIVITY, COMMUTATIVITY AND IDENTITY
BAIRD, TB
PETERSON, GE
WILKERSON, RW
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 29 - 44
[5] SOME OBSERVATIONS ABOUT NP COMPLETE-SETS
HARTMANIS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 185 - 196
[6] SOME THEOREMS FOR ONE SCHEME OF ALLOCATION BY COMPLETE-SETS
ZHUKOV, AE
MATHEMATICAL NOTES, 1979, 25 (1-2) : 77 - 80
[7] ON SPARSE COMPLETE-SETS
WECHSUNG, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 281 - 287
[8] OPTIMAL APPROXIMATIONS OF COMPLETE-SETS
RUSSO, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 223 : 311 - 324
[9] ON RELATIVIZATION AND THE EXISTENCE OF COMPLETE-SETS
SIPSER, M
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 523 - 531
[10] ON WAYS OF CHARACTERIZING COMPLETE-SETS
BULITKO, VK
MATHEMATICS OF THE USSR-IZVESTIYA, 1992, 38 (02): : 225 - 249

← 1 2 3 4 5 →