COMBINING UNIFICATION ALGORITHMS FOR CONFINED REGULAR EQUATIONAL THEORIES

被引：0

|

作者：

YELICK, K

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：365 / 380

页数：16

相关论文

共 50 条

[21] Equational Anti-unification over Absorption Theories
Ayala-Rincon, Mauricio
Cerna, David M.
Gonzalez Barragan, Andres Felipe
Kutsia, Temur
AUTOMATED REASONING, IJCAR 2024, PT II, 2024, 14740 : 317 - 337
[22] COMBINING UNIFICATION ALGORITHMS
BOUDET, A
JOURNAL OF SYMBOLIC COMPUTATION, 1993, 16 (06) : 597 - 626
[23] Equational unification, word unification, and 2nd-order equational unification
Otto, F
Narendran, P
Dougherty, DJ
THEORETICAL COMPUTER SCIENCE, 1998, 198 (1-2) : 1 - 47
[24] Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk)
Fernandez, Maribel
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2023, 2023, 14330 : 3 - 6
[25] Combining equational tree automata over AC and ACI theories
Hendrix, Joe
Ohsaki, Hitoshi
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 142 - +
[26] UNIFICATION IN A COMBINATION OF EQUATIONAL THEORIES WITH SHARED CONSTANTS AND ITS APPLICATION TO PRIMAL ALGEBRAS
RINGEISSEN, C
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 261 - 271
[27] UNIFICATION IN COMBINATIONS OF COLLAPSE-FREE REGULAR THEORIES
YELICK, KA
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) : 153 - 181
[28] ADDING HOMOMORPHISMS TO COMMUTATIVE MONOIDAL THEORIES - OR HOW ALGEBRA CAN HELP IN EQUATIONAL UNIFICATION
BAADER, F
NUTT, W
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 124 - 135
[29] Combining equational theories sharing non-collapse-free constructors
Baader, F
Tinelli, C
FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 260 - 274
[30] Combination problems for commutative/monoidal theories or how algebra can help in equational unification
Baader, F
Nutt, W
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING, 1996, 7 (04) : 309 - 337

← 1 2 3 4 5 →