По вашему запросу найдено документов: 1005012
Страница 9 из 100502
Mapping of the Available Chemical Space versus the Chemical Universe of Lead-Like Compounds million molecules with no more than 17 heavy atoms, both from the theoretically enumerated GDB-17 and real
Elementary theories and hereditary undecidability for semilattices of numberings of the semilattice of all Σα0-computable numberings, where α≥ 2 is a computable successor ordinal. Furthermore
Nondensity of double bubbles in the D.C.E. degrees bubbles” are not downward dense in the d.c.e. degrees. Here, a pair of d.c.e. degrees d1 > d2 > 0 forms a
There are no maximal d.c.e. wtt-degreesВ статье доказывается, что не существует максимальной 2-в.п. wtt-степени в 2-в.п. wtt-степенях
Q-degrees of n-C.E. setsIn this paper we study Q-degrees of n-computably enumerable (n-c.e.) sets. It is proved that n
Fixed-point Selection Functions of elements of B. Suppose that for a class A of arithmetical sets, which have an effective enumeration
Presentations of the successor relation of computable linear ordering-like or non-η-like computable linear orderings is closed upwards in the class of all computably enumerable
Enumeration of ideals of exceptional nilpotent matrix algebrasIn well-known enumerations of characteristic ideals of the algebra NT(n,K) of all (lower
Algorithmic reducibilities of algebraic structuresconstructivizible (computable) structure
Страница 9 из 100502
Фасеты
Партнеры
Индексация
