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 条
  • [31] COMPLETION MODULO ASSOCIATIVITY, COMMUTATIVITY AND IDENTITY (AC1)
    JOUANNAUD, JP
    MARCHE, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 111 - 120
  • [32] Kappa and AC1/2 statistics: beyond the paradox
    Minozzi, Silvia
    Cinquini, Michela
    Gianola, Silvia
    Gonzalez-Lorenzo, Marien
    Banzi, Rita
    JOURNAL OF CLINICAL EPIDEMIOLOGY, 2022, 142 : 328 - 329
  • [33] ON POLAROGRAPHIC-REDUCTION AC1 WAVES OF THE ZN(II)
    BOX, CS
    MONGE, JT
    PEDROS, FV
    ANALES DE QUIMICA SERIE A-QUIMICA FISICA Y QUIMICA TECNICA, 1986, 82 (03): : 445 - 448
  • [34] Calcium activated adenylyl cyclase AC8 but not AC1 is required for prolonged behavioral anxiety
    Matteo Bernabucci
    Min Zhuo
    Molecular Brain, 9
  • [35] Bayesian Regularization Neural Networks for Prediction of Austenite Formation Temperatures (Ac1 and Ac3)
    Rakhshkhorshid, Masoud
    Sendesi, Sayyed-Amin Teimouri
    JOURNAL OF IRON AND STEEL RESEARCH INTERNATIONAL, 2014, 21 (02) : 246 - 251
  • [36] Bayesian Regularization Neural Networks for Prediction of Austenite Formation Temperatures(Ac1 and Ac3)
    Masoud RAKHSHKHORSHID
    Sayyed-Amin TEIMOURI SENDESI
    JournalofIronandSteelResearch(International), 2014, 21 (02) : 246 - 251
  • [37] HEAT TREATMENT OF ELECTROSLAG WELDED JOINTS AT TEMPERATURES BETWEEN AC1 AND AC3 POINTS
    MAKARA, AM
    YEGOROVA, SV
    NOVIKOV, IV
    AUTOMATIC WELDING USSR, 1969, 22 (12): : 1 - &
  • [38] Calcium activated adenylyl cyclase AC8 but not AC1 is required for prolonged behavioral anxiety
    Bernabucci, Matteo
    Zhuo, Min
    MOLECULAR BRAIN, 2016, 9
  • [39] A Kappa-related Decision: κ, Y, G, or AC1
    Kuppens, Sofie
    Holden, Gary
    Barker, Kathleen
    Rosenberg, Gary
    SOCIAL WORK RESEARCH, 2011, 35 (03) : 185 - 189
  • [40] Bayesian Regularization Neural Networks for Prediction of Austenite Formation Temperatures (Ac1 and Ac3)
    Masoud Rakhshkhorshid
    Sayyed-Amin Teimouri Sendesi
    Journal of Iron and Steel Research International, 2014, 21 : 246 - 251
12345