COVERING IN THE LATTICE OF EQUATIONAL THEORIES AND SOME PROPERTIES OF TERM FINITE-THEORIES

被引：7

|

作者：

MCNULTY, GF

机构：

来源：

ALGEBRA UNIVERSALIS | 1982年 / 15卷 / 01期

关键词：

D O I：

10.1007/BF02483713

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：115 / 125

页数：11

相关论文

共 50 条

[21] EFFICIENT DECISION PROCEDURES FOR LOCALLY FINITE-THEORIES II
WEISPFENNING, V
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 390 - 401
[22] FINITE AXIOMATIZABILITY FOR EQUATIONAL THEORIES OF COMPUTABLE GROUPOIDS
PERKINS, P
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (03) : 1018 - 1022
[23] FURTHER PROPERTIES OF LATTICES OF EQUATIONAL THEORIES
LAMPE, WA
ALGEBRA UNIVERSALIS, 1991, 28 (04) : 459 - 486
[24] ASYMPTOTICALLY FINITE-THEORIES AND THE SCREENING OF COSMOLOGICAL CONSTANT BY QUANTUM EFFECTS
SHAPIRO, IL
PHYSICS LETTERS B, 1994, 329 (2-3) : 181 - 184
[25] ON THE ABSENCE OF A TEMPERATURE PHASE-TRANSITION IN SUPERSYMMETRIC FINITE-THEORIES
ODINTSOV, SD
SOVIET JOURNAL OF NUCLEAR PHYSICS-USSR, 1990, 51 (02): : 349 - 349
[26] STRUCTURAL DIVERSITY IN LATTICE OF EQUATIONAL THEORIES .3.
MCNULTY, G
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (03): : A401 - A401
[27] THE LATTICE OF EQUATIONAL THEORIES .1. MODULAR ELEMENTS
JEZEK, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1981, 31 (01) : 127 - 158
[28] THE LATTICE OF EQUATIONAL THEORIES .3. DEFINABILITY AND AUTOMORPHISMS
JEZEK, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1982, 32 (01) : 129 - 164
[29] THE LATTICE OF EQUATIONAL THEORIES .2. THE LATTICE OF FULL SETS OF TERMS
JEZEK, J
CZECHOSLOVAK MATHEMATICAL JOURNAL, 1981, 31 (04) : 573 - 603
[30] A hybrid method for finite model search in equational theories
Fundam Inf, 1-2 (21-38):

← 1 2 3 4 5 →