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 条

[41] HIGHER-ORDER UNIFICATION REVISITED - COMPLETE-SETS OF TRANSFORMATIONS
SNYDER, W
GALLIER, J
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (1-2) : 101 - 140
[42] ON THE NECESSITY AND MEANING OF COMPLETE-SETS OF ORTHOGONAL OPERATORS IN ATOMIC SPECTROSCOPY
HOF, GJV
UYLINGS, PHM
RAASSEN, AJJ
JOURNAL OF PHYSICS B-ATOMIC MOLECULAR AND OPTICAL PHYSICS, 1991, 24 (06) : 1161 - 1173
[43] COMPLETE-SETS OF ORTHOGONAL FREQUENCY SQUARES AND AFFINE RESOLVABLE DESIGNS
LAYWINE, C
UTILITAS MATHEMATICA, 1993, 43 : 161 - 170
[44] POLYNOMIAL REPRESENTATIONS OF COMPLETE-SETS OF FREQUENCY HYPERRECTANGLES WITH PRIME POWER DIMENSIONS
SUCHOWER, SJ
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1993, 62 (01) : 46 - 65
[45] Strong reductions and isomorphism of complete sets
Harkins, Ryan C.
Hitchcock, John M.
Pavan, A.
FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 168 - +
[46] Strong Reductions and Isomorphism of Complete Sets
Harkins, Ryan C.
Hitchcock, John M.
Pavan, A.
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2014, 3 (02): : 91 - 104
[47] STEKKELS ELECTROVACUUM SPACES WITH ISOTROPIC COMPLETE-SETS - THE PROBLEM AND BASIC RELATIONS
BAGROV, VG
YEVSEYEVICH, AA
OBUKHOV, VV
OSETRIN, KY
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII FIZIKA, 1987, 30 (05): : 17 - 21
[48] EXPLICIT SUMS AND INTEGRALS OVER COMPLETE-SETS OF INTERMEDIATE STATES OF HYDROGEN
FELDMAN, G
FULTON, T
JUDD, BR
PHYSICAL REVIEW A, 1995, 51 (04): : 2762 - 2773
[49] A COUNTEREXAMPLE TO A CONJECTURE RELATING COMPLETE-SETS OF FREQUENCY SQUARES AND AFFINE GEOMETRIES
LAYWINE, C
DISCRETE MATHEMATICS, 1993, 122 (1-3) : 255 - 262
[50] ON CERTAIN POLYNOMIAL-TIME TRUTH-TABLE REDUCIBILITIES OF COMPLETE-SETS TO SPARSE SETS
YESHA, Y
SIAM JOURNAL ON COMPUTING, 1983, 12 (03) : 411 - 425

← 1 2 3 4 5 →