COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES

被引：0

|

作者：

FAGES, F

HUET, G

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1983年 / 159卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：205 / 220

页数：16

相关论文

共 50 条

[11] A NOTE ON COMPLETE-SETS AND TRANSITIVE CLOSURE
BOOK, RV
WRATHALL, C
MATHEMATICAL SYSTEMS THEORY, 1982, 15 (04): : 311 - 313
[12] COMPLETE-SETS OF FREQUENCY SQUARES WITH SUBSQUARES
LAYWINE, CF
UTILITAS MATHEMATICA, 1991, 40 : 87 - 96
[13] INFORMATIONALLY COMPLETE-SETS OF PHYSICAL QUANTITIES
BUSCH, P
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1991, 30 (09) : 1217 - 1227
[14] COMPLETE-SETS AND CLOSENESS TO COMPLEXITY CLASSES
SCHONING, U
MATHEMATICAL SYSTEMS THEORY, 1986, 19 (01): : 29 - 41
[15] COMPLETE-SETS OF COMPATIBLE NONSELFADJOINT OBSERVABLES
EPIFANIO, G
TODOROV, TS
TRAPANI, C
HELVETICA PHYSICA ACTA, 1992, 65 (01): : 1 - 10
[16] COMPLETE-SETS OF COMMUTING OBSERVABLES AND IRREDUCIBLE SETS OF OBSERVABLES
LOZADA, A
DESARRAZIN, G
TORRES, PL
HELVETICA PHYSICA ACTA, 1992, 65 (07): : 887 - 897
[17] RANDOM-SELF-REDUCIBILITY OF COMPLETE-SETS
FEIGENBAUM, J
FORTNOW, L
SIAM JOURNAL ON COMPUTING, 1993, 22 (05) : 994 - 1005
[18] SOME OBSERVATIONS ABOUT NP COMPLETE-SETS
HARTMANIS, J
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 278 : 185 - 196
[19] A NOTE ON NATURAL COMPLETE-SETS AND GODEL NUMBERINGS
HARTMANIS, J
THEORETICAL COMPUTER SCIENCE, 1982, 17 (01) : 75 - 89
[20] ON COMPLETE-SETS OF SAMPLES FOR GENERALIZED REGULAR EXPRESSIONS
KINBER, EB
THEORETICAL COMPUTER SCIENCE, 1991, 91 (01) : 101 - 117

← 1 2 3 4 5 →