Работы, на которые ссылается эта работа

Работ: 21

Работа: Finite Logical Specifications of Effectively Separable Data Models

Homomorphisms onto effectively separable algebras
N. Kh. Kasymov
СтатьяComputability, Logic, AI AlgorithmsSiberian Mathematical Journal2016Цитирований: 19
ABI
Enumerated algebras with uniformly recursive-separable classes
N. Kh. Kasymov
Статья1993Цитирований: 16
ABI
Recursively separable enumerated algebras
N. Kh. Kasymov
Статья1996Цитирований: 15
ABI
A characterisation of computable data types by means of a finite equational specification method
J. A. Bergstra, John V. Tucker
Глава1980Цитирований: 13
ABI
Separation axioms and partitions of the set of natural numbers
N. Kh. Kasymov
Статья1993Цитирований: 13
ABI
CONSTRUCTIVE ALGEBRAS I
A. I. Malʹt︠s︡ev
Статья1961Цитирований: 12
ABI
Positive algebras with nonetherian congruence lattices
N. Kh. Kasymov
Статья1992Цитирований: 9
ABI
Без названия
ДругоеЦитирований: 9
ABI
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS
Uri Andrews, DANIEL F. BELIN, Luca San Mauro
Статья2022Цитирований: 9
ABI
Separable Enumerations of Division Rings and Effective Embeddability of Rings Therein
N. Kh. Kasymov, F. N. Ibragimov
СтатьяComputability, Logic, AI AlgorithmsSiberian Mathematical Journal2019Цитирований: 8
ABI
T1-Separable Numberings of Subdirectly Indecomposable Algebras
N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova
СтатьяComputability, Logic, AI AlgorithmsAlgebra and Logic2021Цитирований: 7
ABI
Existential quantifiers in abstract data types
Manfred Broy, Walter Dosch, H. Partsch +2
Глава1979Цитирований: 7
ABI
Some definitions for algebraic data type specifications
Sam Kamin
Статья1979Цитирований: 7
ABI
Lower Semilattices of Separable Congruences of Numbered Algebras
N. Kh. Kasymov, Andrey Morozov
СтатьяComputability, Logic, AI AlgorithmsSiberian Mathematical Journal2023Цитирований: 5
ABI
The number ofQ-congruences in positive algebras
N. Kh. Kasymov
Статья1992Цитирований: 5
ABI
Computably Separable Models
N. Kh. Kasymov, F. N. Ibragimov
СтатьяComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences2022Цитирований: 4
ABI
Separable Algorithmic Representations of Classical Systems and their Applications
N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov
СтатьяComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences2024Цитирований: 4
ABI
Semirecursive sets and positive reducibility
Carl G. Jockusch
Статья1968Цитирований: 4
ABI
The number of algebras over simple sets
N. Kh. Kasymov
Статья1992Цитирований: 4
ABI
Uniform $m$-equivalencies and numberings of classical systems
N. Kh. Kasymov, R. N. Dadazhanov, S. K. Zhavliev
Статья2022Цитирований: 3
ABI
Logical Specifications of Effectively Separable Data Models
N. Kh. Kasymov
СтатьяComputability, Logic, AI AlgorithmsRussian Mathematics2024Цитирований: 2
ABI