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 条

[41] THE LATTICE OF EQUATIONAL THEORIES .4. EQUATIONAL THEORIES OF FINITE-ALGEBRAS
JEZEK, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1986, 36 (02) : 331 - 341
[42] Combining Equational Reasoning
Tiwari, Ashish
FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 68 - 83
[43] The equational theory of regular words
Bloom, SL
Ésik, Z
INFORMATION AND COMPUTATION, 2005, 197 (1-2) : 55 - 89
[44] EQUATIONAL THEORIES WITH A MINORITY POLYNOMIAL
PADMANABHAN, R
WOLK, B
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1981, 83 (02) : 238 - 242
[45] Unions of equational monadic theories
Hoffman, Piotr
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 81 - 95
[46] A PROPERTY OF THE LATTICE OF EQUATIONAL THEORIES
LAMPE, WA
ALGEBRA UNIVERSALIS, 1986, 23 (01) : 61 - 69
[47] Partial completion of equational theories
Sun, YQ
Lin, K
Lu, CJ
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000, 15 (06) : 552 - 559
[48] Decidability of weak equational theories
Szymanski, R
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (04) : 629 - 664
[49] EQUATIONAL THEORIES OF MEDIAL GROUPOIDS
JEZEK, J
KEPKA, T
ALGEBRA UNIVERSALIS, 1983, 17 (02) : 174 - 190
[50] PARTIAL UNIFICATION FOR GRAPH BASED EQUATIONAL REASONING
BLASIUS, KH
SIEKMANN, JH
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 397 - 414

← 1 2 3 4 5 →