A hybrid method for finite model search in equational theories

被引：0

|

作者：

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] THE LATTICE OF EQUATIONAL THEORIES .4. EQUATIONAL THEORIES OF FINITE-ALGEBRAS
JEZEK, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1986, 36 (02) : 331 - 341
[2] On equational theories of classes of finite rings
V. Y. Popov
Siberian Mathematical Journal, 1999, 40 : 556 - 564
[3] On equational theories of classes of finite rings
Popov, VY
SIBERIAN MATHEMATICAL JOURNAL, 1999, 40 (03) : 556 - 564
[4] Equational theories for classes of finite semigroups
Popov V.Y.
Algebra and Logic, 2001, 40 (1) : 55 - 66
[5] FINITE AXIOMATIZABILITY FOR EQUATIONAL THEORIES OF COMPUTABLE GROUPOIDS
PERKINS, P
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (03) : 1018 - 1022
[6] BUILDING IN EQUATIONAL THEORIES INTO THE CONNECTION METHOD
PETERMANN, U
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 156 - 169
[7] COVERING IN THE LATTICE OF EQUATIONAL THEORIES AND SOME PROPERTIES OF TERM FINITE-THEORIES
MCNULTY, GF
ALGEBRA UNIVERSALIS, 1982, 15 (01) : 115 - 125
[8] Constraint solving techniques and enriching the model with equational theories
Comon-Lundh H.
Delaune S.
Millen J.K.
Cryptology and Information Security Series, 2011, 5 : 35 - 61
[9] INFINITELY MANY NONFINITELY AXIOMATIZABLE EQUATIONAL THEORIES OF FINITE-ALGEBRAS
MCNULTY, GF
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 203 - 203
[10] A note on equational theories
Junker, M
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1705 - 1712

← 1 2 3 4 5 →