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 条

[1] COMPLETE-SETS OF UNIFIERS AND MATCHERS IN EQUATIONAL THEORIES
FAGES, F
HUET, G
THEORETICAL COMPUTER SCIENCE, 1986, 43 (2-3) : 189 - 200
[2] COMPLETE-SETS OF REDUCTIONS FOR SOME EQUATIONAL THEORIES
PETERSON, GE
STICKEL, ME
JOURNAL OF THE ACM, 1981, 28 (02) : 233 - 264
[3] CONDITIONAL EQUATIONAL THEORIES AND COMPLETE-SETS OF TRANSFORMATIONS
HOLLDOBLER, S
THEORETICAL COMPUTER SCIENCE, 1990, 75 (1-2) : 85 - 110
[4] ON SPARSE COMPLETE-SETS
WECHSUNG, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 281 - 287
[5] OPTIMAL APPROXIMATIONS OF COMPLETE-SETS
RUSSO, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 223 : 311 - 324
[6] ON RELATIVIZATION AND THE EXISTENCE OF COMPLETE-SETS
SIPSER, M
LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 523 - 531
[7] ON WAYS OF CHARACTERIZING COMPLETE-SETS
BULITKO, VK
MATHEMATICS OF THE USSR-IZVESTIYA, 1992, 38 (02): : 225 - 249
[8] MINIMAL COMPLETE-SETS OF WORDS
BOE, JM
LUCA, AD
RESTIVO, A
THEORETICAL COMPUTER SCIENCE, 1980, 12 (03) : 325 - 332
[9] COMPLETE-SETS OF UNBOUNDED OBSERVABLES
ANTOINE, JP
EPIFANIO, G
TRAPANI, C
HELVETICA PHYSICA ACTA, 1983, 56 (06): : 1175 - 1186
[10] CORRELATIONS BETWEEN COMPLETE-SETS
DEGTEV, AN
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1981, (05): : 50 - 55

← 1 2 3 4 5 →