Ushbu ish iqtibos qilgan ishlar

14 ta ish

Ish: Logical specifications of effectively separable data models

Homomorphisms onto effectively separable algebras
N. Kh. Kasymov
MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal201619 iqtibos
ABI
Enumerated algebras with uniformly recursive-separable classes
N. Kh. Kasymov
Maqola199316 iqtibos
ABI
A characterisation of computable data types by means of a finite equational specification method
J. A. Bergstra, John V. Tucker
Bob198013 iqtibos
ABI
Separation axioms and partitions of the set of natural numbers
N. Kh. Kasymov
Maqola199313 iqtibos
ABI
$$\Pi^0_1$$ -Presentations of Algebras
Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin
Maqola200612 iqtibos
ABI
Sarlavhasiz
Boshqa9 iqtibos
ABI
ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS
Uri Andrews, DANIEL F. BELIN, Luca San Mauro
Maqola20229 iqtibos
ABI
Рекурсивно отделимые нумерованные алгебры
Надим Хабибуллаевич Касымов, Надим Хабибуллаевич Касымов
Maqola19968 iqtibos
ABI
Negative Dense Linear Orders
N. Kh. Kasymov, R. N. Dadazhanov
MaqolaComputability, Logic, AI AlgorithmsSiberian Mathematical Journal20176 iqtibos
ABI
Finitely presented expansions of groups, semigroups, and algebras
Bakhadyr Khoussainov, Alexei Miasnikov
Maqola20134 iqtibos
ABI
Separable Algorithmic Representations of Classical Systems and Their Applications
N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov
MaqolaAdvanced Data Processing TechniquesContemporary Mathematics Fundamental Directions20213 iqtibos
ABI
$T_1$-separable numberings of subdirectly indecomposable algebras
N. Kh. Kasymov, Andrey Morozov, I. A. Khodzhamuratova
Maqola20213 iqtibos
ABI
Randomness, computability and algebraic specifications
Bakhadyr Khoussainov
Maqola19982 iqtibos
ABI
Sarlavhasiz
Boshqa1 iqtibos
ABI