Ушбу ишга иқтибос қилган ишлар

10 та иш

Иш: Positive algebras with congruences of finite index

Structures of Degrees of Negative Representations of Linear Orders
N. Kh. Kasymov, R. N. Dadazhanov, S. K. Djavliev
МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20215 иқтибос
ABI
Lower Semilattices of Separable Congruences of Numbered Algebras
N. Kh. Kasymov, Andrey Morozov
МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20235 иқтибос
ABI
Topological Spaces Over Algorithmic Representations of Universal Algebras
N. Kh. Kasymov, I. A. Khodzhamuratova
МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20204 иқтибос
ABI
Logical Specifications of Effectively Separable Data Models
N. Kh. Kasymov
МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20242 иқтибос
ABI
Uniformly Computably Separable Algebras with Effectively Splittable Families of Negative Congruences
R. N. Dadazhanov, N. Kh. Kasymov, I. A. Khodzhamuratova
МақолаComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20222 иқтибос
ABI
Computability and Universal Determinability of Negatively Representable Models
R. N. Dadazhanov
МақолаComputability, Logic, AI AlgorithmsRussian Mathematics20221 иқтибос
ABI
Locally finite and finitely approximated unoids over computably separable equivalences
N. Kh. Kasymov
МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20241 иқтибос
ABI
Defining algorithmically presented structures in first order logic
N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov
МақолаComputability, Logic, AI Algorithms20241 иқтибос
ABI
Separable numberings of universal algebras
N. Kh. Kasymov
МақолаComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 иқтибос
ABI
Unoids with Finiteness Conditions over Computably Separable Equivalences
N. Kh. Kasymov
МақолаComputability, Logic, AI AlgorithmsLobachevskii Journal of Mathematics20250 иқтибос
ABI