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 条
  • [1] Abstract congruence closure and specializations
    Bachmair, L
    Tiwari, A
    AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 64 - 78
  • [2] Abstract congruence closure
    Bachmair, L
    Tiwari, A
    Vigneron, L
    JOURNAL OF AUTOMATED REASONING, 2003, 31 (02) : 129 - 168
  • [3] Abstract Congruence Closure
    Leo Bachmair
    Ashish Tiwari
    Laurent Vigneron
    Journal of Automated Reasoning, 2003, 31 : 129 - 168
  • [4] Combined Abstract Congruence Closure for Theories with Associativity or Commutativity
    Ringeissen, Christophe
    Vigneron, Laurent
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 82 - 98
  • [5] Quantifiers and congruence closure
    Flum J.
    Schiehlen M.
    Väänänen J.
    Flum J.
    Väänänen J.
    Studia Logica, 1999, 62 (3) : 315 - 340
  • [6] ON CONGRUENCE RELATIONS IN ABSTRACT ALGEBRAS
    ISHAQ, M
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (01): : 193 - &
  • [7] Congruence Closure with Free Variables
    Barbosa, Haniel
    Fontaine, Pascal
    Reynolds, Andrew
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT II, 2017, 10206 : 214 - 230
  • [8] ON THE RELATIONSHIP OF CONGRUENCE CLOSURE AND UNIFICATION
    KANELLAKIS, PC
    REVESZ, PZ
    JOURNAL OF SYMBOLIC COMPUTATION, 1989, 7 (3-4) : 427 - 444
  • [9] CONGRUENCE CLOSURE MODULO GROUPS
    Kim, Dohan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2025, 21 (01)
  • [10] Congruence closure with integer offsets
    Nieuwenhuis, R
    Oliveras, A
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2003, 2850 : 78 - 90
12345