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 条

[11] Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories
Paliath Narendran
Friedrich Otto
Journal of Automated Reasoning, 1997, 19 : 87 - 115
[12] UNIFICATION IN A COMBINATION OF ARBITRARY DISJOINT EQUATIONAL THEORIES
SCHMIDTSCHAUSS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 378 - 396
[13] UNIFICATION IN MANY-SORTED EQUATIONAL THEORIES
SCHMIDTSCHAUSS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 538 - 552
[14] INCREMENTAL CONSTRUCTION OF UNIFICATION ALGORITHMS IN EQUATIONAL THEORIES
JOUANNAUD, JP
KIRCHNER, C
KIRCHNER, H
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 : 361 - 373
[15] NARROWING IN PARTIAL CONDITIONAL EQUATIONAL THEORIES
WOLTER, U
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 244 - 244
[16] PROOF BY CONSISTENCY IN CONDITIONAL EQUATIONAL THEORIES
BEVERS, E
LEWI, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 194 - 205
[17] UNIFICATION IN A COMBINATION OF ARBITRARY DISJOINT EQUATIONAL THEORIES
SCHMIDTSCHAUSS, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (1-2) : 51 - 99
[18] COMBINING UNIFICATION ALGORITHMS FOR CONFINED REGULAR EQUATIONAL THEORIES
YELICK, K
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 365 - 380
[19] 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
[20] Unification in the union of disjoint equational theories: Combining decision procedures
Baader, F
Schulz, KU
JOURNAL OF SYMBOLIC COMPUTATION, 1996, 21 (02) : 211 - 243

← 1 2 3 4 5 →