По вашему запросу найдено документов: 64170
Страница 1 из 6417
Degrees of categoricity of computable structuresDefining the degree of categoricity of a computable structure M to be the least degree d for which
On computably enumerable structures by the author at Algebra Computability and Logic conference in Kazan, June 1–6, 2014. The paper is a new
Restrictions on the degree spectra of algebraic structuresWe construct the degree b ≤ 0″ admitting no algebraic structure with degree spectrum {x: x ≰ b
Degrees of categoricity of computable structuresDefining the degree of categoricity of a computable structure M to be the least degree d for which
Categoricity Spectra for Rigid Structures© 2016 by University of Notre Dame. For a computable structure M, the categoricity spectrum
Features of concrete creep numerical modeling in the calculation of building structures in computer calculations of concrete and reinforced concrete structures of arbitrary complexity, with a
On computably enumerable structures by the author at Algebra Computability and Logic conference in Kazan, June 1–6, 2014. The paper is a new
Punctual Categoricity Relative to a Computable Oracle relative to a computable oracle can hold only for finitely generated or locally finite structures. We
Categoricity Spectra for Rigid Structures© 2016 by University of Notre Dame. For a computable structure M, the categoricity spectrum
Graphs are not universal for online computability for “online” (punctual) computable structures. In contrast, we give a description of punctually categorical
Страница 1 из 6417
Фасеты
Партнеры
Индексация
