A hybrid method for finite model search in equational theories

被引：0

|

作者：

机构：

来源：

Fundam Inf | / 1-2卷 / 21-38期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] UNIFICATION IN CONDITIONAL EQUATIONAL THEORIES
HUSSMANN, H
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 543 - 553
[22] Decidability of weak equational theories
Szymanski, R
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1996, 46 (04) : 629 - 664
[23] EQUATIONAL THEORIES OF MEDIAL GROUPOIDS
JEZEK, J
KEPKA, T
ALGEBRA UNIVERSALIS, 1983, 17 (02) : 174 - 190
[24] Unification problem in equational theories
Kryvyi, SL
CYBERNETICS AND SYSTEMS ANALYSIS, 1997, 33 (06) : 874 - 899
[25] Partial Completion of Equational Theories
孙永强
林凯
陆朝俊
Journal of Computer Science and Technology, 2000, (06) : 552 - 559
[26] BASES FOR EQUATIONAL THEORIES OF SEMIGROUPS
PERKINS, P
JOURNAL OF ALGEBRA, 1969, 11 (02) : 298 - &
[27] ON UNIFICATION - EQUATIONAL THEORIES ARE NOT BOUNDED
BOOK, RV
SIEKMANN, JH
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (04) : 317 - 324
[28] Equational theories of semigroups with involution
Auinger, Karl
Dolinka, Igor
Volkov, Mikhail V.
JOURNAL OF ALGEBRA, 2012, 369 : 203 - 225
[29] NOTES ON EQUATIONAL THEORIES OF RELATIONS
BLOOM, SL
ESIK, Z
STEFANESCU, G
ALGEBRA UNIVERSALIS, 1995, 33 (01) : 98 - 126
[30] EQUATIONAL BASES FOR LATTICE THEORIES
MCKENZIE, R
MATHEMATICA SCANDINAVICA, 1970, 27 (01) : 24 - &

← 1 2 3 4 5 →