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 条

[1] Problem of unification in equational theories
Kibernetika i Sistemnyj Analis, (06): : 150 - 180
[2] Unification problem in equational theories
Kryvyi, SL
CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (06) : 874 - 899
[3] Unification problem in equational theories
S. L. Kryvyi
Cybernetics and Systems Analysis, 1997, 33 : 874 - 899
[4] ON UNIFICATION - EQUATIONAL THEORIES ARE NOT BOUNDED
BOOK, RV
SIEKMANN, JH
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (04) : 317 - 324
[5] ON EQUATIONAL THEORIES, UNIFICATION AND DECIDABILITY
BURCKERT, HJ
HEROLD, A
SCHMIDTSCHAUSS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 204 - 215
[6] Unification in extensions of shallow equational theories
Jacquemard, F
Meyer, C
Weidenbach, C
REWRITING TECHNIQUES AND APPLICATIONS, 1998, 1379 : 76 - 90
[7] UNIFICATION IN PERMUTATIVE EQUATIONAL THEORIES IS UNDECIDABLE
SCHMIDTSCHAUSS, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (04) : 415 - 421
[8] ALGORITHM FOR UNIFICATION IN EQUATIONAL THEORIES.
Martelli, A.
Moiso, C.
Rossi, G.F.
CSELT Technical Reports, 1986, 14 (06): : 459 - 465
[9] ON EQUATIONAL THEORIES, UNIFICATION, AND (UN)DECIDABILITY
BURCKERT, HJ
HEROLD, A
SCHMIDTSCHAUSS, M
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (1-2) : 3 - 49
[10] Single versus simultaneous equational unification and equational unification for variable-permuting theories
Narendran, P
Otto, F
JOURNAL OF AUTOMATED REASONING, 1997, 19 (01) : 87 - 115

← 1 2 3 4 5 →