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 条

[41] EQUATIONAL THEORIES WITH A MINORITY POLYNOMIAL
PADMANABHAN, R
WOLK, B
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (02) : 238 - 242
[42] Unions of equational monadic theories
Hoffman, Piotr
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 81 - 95
[43] A PROPERTY OF THE LATTICE OF EQUATIONAL THEORIES
LAMPE, WA
ALGEBRA UNIVERSALIS, 1986, 23 (01) : 61 - 69
[44] Partial completion of equational theories
Sun, YQ
Lin, K
Lu, CJ
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000, 15 (06) : 552 - 559
[45] Decidability of weak equational theories
Szymanski, R
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (04) : 629 - 664
[46] EQUATIONAL THEORIES OF MEDIAL GROUPOIDS
JEZEK, J
KEPKA, T
ALGEBRA UNIVERSALIS, 1983, 17 (02) : 174 - 190
[47] PARTIAL UNIFICATION FOR GRAPH BASED EQUATIONAL REASONING
BLASIUS, KH
SIEKMANN, JH
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 397 - 414
[48] Partial Completion of Equational Theories
孙永强
林凯
陆朝俊
Journal of Computer Science and Technology, 2000, (06) : 552 - 559
[49] BASES FOR EQUATIONAL THEORIES OF SEMIGROUPS
PERKINS, P
JOURNAL OF ALGEBRA, 1969, 11 (02) : 298 - &
[50] Equational theories of semigroups with involution
Auinger, Karl
Dolinka, Igor
Volkov, Mikhail V.
JOURNAL OF ALGEBRA, 2012, 369 : 203 - 225

← 1 2 3 4 5 →