AC UNIFICATION THROUGH ORDER-SORTED AC1 UNIFICATION

被引：3

作者：

DOMENJOUD, E ^{[1
]}

机构：

[1] INRIA LORRAINE, F-54506 VANDOEUVRE LES NANCY, FRANCE

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1992年 / 14卷 / 06期

关键词：

D O I：

10.1016/S0747-7171(19)80001-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：537 / 556

页数：20

共 50 条

[21] SOLVING ASTERISK-PROBLEMS MODULO DISTRIBUTIVITY BY A REDUCTION TO AC1-UNIFICATION
CONTEJEAN, E
JOURNAL OF SYMBOLIC COMPUTATION, 1993, 16 (05) : 493 - 521
[22] Characterisation of AC1: a naturally decaffeinated coffee
Benatti, Luciana Benjamim
Silvarolla, Maria Bernadete
Mazzafera, Paulo
BRAGANTIA, 2012, 71 (02) : 143 - 154
[23] Homogeneity score test of AC1 statistics and estimation of common AC1 in multiple or stratified inter-rater agreement studies
Honda, Chikara
Ohyama, Tetsuji
BMC MEDICAL RESEARCH METHODOLOGY, 2020, 20 (01)
[24] Technical note on AC-unification. The number of minimal unifiers of the equation αx1 + ... + αxp = ACβy1 + ... + βyq
Domenjoud, Eric
Journal of Automated Reasoning, 1992, 8 (01)
[25] AC-UNIFICATION RACE - THE SYSTEM SOLVING APPROACH AND ITS IMPLEMENTATION
ADI, M
KIRCHNER, C
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 174 - 183
[26] AC-UNIFICATION RACE - THE SYSTEM SOLVING APPROACH, IMPLEMENTATION AND BENCHMARKS
ADI, M
KIRCHNER, C
JOURNAL OF SYMBOLIC COMPUTATION, 1992, 14 (01) : 51 - 70
[27] METASYSTEMS METHODOLOGY - A NEW SYNTHESIS AND UNIFICATION, VOL 3 - HALL,AC
VANGIGCH, JP
SYSTEMS RESEARCH, 1991, 8 (02): : 103 - 107
[28] Homogeneity score test of AC1 statistics and estimation of common AC1 in multiple or stratified inter-rater agreement studies
Chikara Honda
Tetsuji Ohyama
BMC Medical Research Methodology, 20
[29] AC1解析摄影测量系统简介
李树生
铁路航测, 1984, (03) : 36 - 40
[30] PHASE SELECTIVE AC1 POLAROGRAPHY OF PHENFORMINE HYDROCHLORIDE
LOPEZ, J
SANZ, C
DAVILA, MM
VICENTE, F
ANALES DE QUIMICA SERIE A-QUIMICA FISICA Y QUIMICA TECNICA, 1989, 85 (03): : 321 - 325

← 1 2 3 4 5 →