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 条

[1] INCREMENTAL CONSTRUCTION OF UNIFICATION ALGORITHMS IN EQUATIONAL THEORIES
JOUANNAUD, JP
KIRCHNER, C
KIRCHNER, H
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 361 - 373
[2] Unification in the union of disjoint equational theories: Combining decision procedures
Baader, F
Schulz, KU
JOURNAL OF SYMBOLIC COMPUTATION, 1996, 21 (02) : 211 - 243
[3] UNIFICATION IN THE UNION OF DISJOINT EQUATIONAL THEORIES - COMBINING DECISION PROCEDURES
BAADER, F
SCHULZ, KU
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 50 - 65
[4] Problem of unification in equational theories
Kibernetika i Sistemnyj Analis, (06): : 150 - 180
[5] UNIFICATION IN CONDITIONAL EQUATIONAL THEORIES
HUSSMANN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 543 - 553
[6] Unification problem in equational theories
Kryvyi, SL
CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (06) : 874 - 899
[7] Unification problem in equational theories
S. L. Kryvyi
Cybernetics and Systems Analysis, 1997, 33 : 874 - 899
[8] ON UNIFICATION - EQUATIONAL THEORIES ARE NOT BOUNDED
BOOK, RV
SIEKMANN, JH
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (04) : 317 - 324
[9] ON EQUATIONAL THEORIES, UNIFICATION AND DECIDABILITY
BURCKERT, HJ
HEROLD, A
SCHMIDTSCHAUSS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 204 - 215
[10] Combining decision algorithms for matching in the union of disjoint equational theories
Ringeissen, C
INFORMATION AND COMPUTATION, 1996, 126 (02) : 144 - 160

← 1 2 3 4 5 →