Abstract congruence closure and specializations?

被引：0
|
作者：
Department of Computer Science, State University of New York, Stony Brook [1 ]
NY
11794-4400, United States
机构：
来源：
Lect. Notes Comput. Sci. | 1600年 / 64-78期
关键词：
Compendex;
D O I：
17th International Conference on Automated Deduction, CADE 2000
中图分类号：
学科分类号：
摘要：
Computers
引用
收藏
相关论文
共 50 条
  • [21] Join congruence relations and closure relations
    Bogart, KP
    Montague, LH
    ALGEBRA UNIVERSALIS, 2003, 50 (3-4) : 381 - 384
  • [22] On Simon's Congruence Closure of a String
    Kim, Sungmin
    Han, Yo-Sub
    Ko, Sang-Ki
    Salomaa, Kai
    DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2022, 2022, 13439 : 127 - 141
  • [23] Congruence closure module associativity and commutativity
    Bachmair, L
    Ramakrishnan, IV
    Tiwari, A
    Vigneron, L
    FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 245 - 259
  • [24] Proof-producing congruence closure
    Nieuwenhuis, R., et al.; Foundation for Nara Institute of Science and Technology; Information Processing Society of Japan, IPSJ; Japan Society for the Promotion of Science, JSPS; Kayamori Foundation of Informational Science Advancement; Nara Convention Bureau, NCB (Springer Verlag):
  • [25] Join congruence relations and closure relations
    Kenneth P. Bogart
    Laura H. Montague
    algebra universalis, 2003, 50 : 381 - 384
  • [26] Congruence Closure of Compressed Terms in Polynomial Time
    Schmidt-Schauss, Manfred
    Sabel, David
    Anis, Altug
    FRONTIERS OF COMBINING SYSTEMS, 2011, 6989 : 227 - 242
  • [27] ABSTRACT CHARACTERIZATIONS OF ARITHMETIC GROUPS WITH THE CONGRUENCE SUBGROUP PROPERTY
    PLATONOV, VP
    RAPINCHUK, AS
    DOKLADY AKADEMII NAUK SSSR, 1991, 319 (06): : 1322 - 1327
  • [28] FAST DECISION PROCEDURES BASED ON CONGRUENCE CLOSURE
    NELSON, G
    OPPEN, DC
    JOURNAL OF THE ACM, 1980, 27 (02) : 356 - 364
  • [29] Modal Tableau Systems with Blocking and Congruence Closure
    Schmidt, Renate A.
    Waldmann, Uwe
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 38 - 53
  • [30] Order-Sorted Rewriting and Congruence Closure
    Meseguer, Jose
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 493 - 509
12345