UNIFICATION IN CONDITIONAL EQUATIONAL THEORIES

被引：0

|

作者：

HUSSMANN, H

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 204卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：543 / 553

页数：11

相关论文

共 50 条

[21] UNIFICATION IN THE UNION OF DISJOINT EQUATIONAL THEORIES - COMBINING DECISION PROCEDURES
BAADER, F
SCHULZ, KU
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 50 - 65
[22] CONDITIONAL EQUATIONAL THEORIES AND COMPLETE-SETS OF TRANSFORMATIONS
HOLLDOBLER, S
THEORETICAL COMPUTER SCIENCE, 1990, 75 (1-2) : 85 - 110
[23] Constrained narrowing for conditional equational theories modulo axioms
Cholewa, Andrew
Escobar, Santiago
Meseguer, Jose
SCIENCE OF COMPUTER PROGRAMMING, 2015, 112 : 24 - 57
[24] Equational unification, word unification, and 2nd-order equational unification
Otto, F
Narendran, P
Dougherty, DJ
THEORETICAL COMPUTER SCIENCE, 1998, 198 (1-2) : 1 - 47
[25] 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
[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] 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
[28] 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
[29] Variant Narrowing and Equational Unification
Escobar, Santiago
Meseguer, Jose
Sasse, Ralf
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 103 - 119
[30] A note on equational theories
Junker, M
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1705 - 1712

← 1 2 3 4 5 →