Электронный архив

Просмотр Институты и другие подразделения по автору "Yamaleev Mars Mansurovich"

Просмотр Институты и другие подразделения по автору "Yamaleev Mars Mansurovich"

Отсортировать по:Сортировать:Результаты поиска на странице:

  • Boolean algebras realized by c.e. equivalence relations 
    Bazhenov Nikolaj Alekseevich; Mustafa Manat; Stephan Frank; Yamaleev Mars Mansurovich (2017)
    В статье рассматривается связь между алгоритмическими свойствами отношений эквивалентности и булевыми алгебрами, реализованными этими отношениями эквивалентности.
  • Elementary Theories and Structural properties of D-C.E and N-C.E. Degrees 
    Yamaleev Mars Mansurovich; Arslanov Marat Mirzaevich; Kalimullin Iskander Shagitovich (2016)
    In the paper we present a survey on n-c.e. Turing and e-degrees. Also we discuss some open problems and prove a new results.
  • There are no maximal d.c.e. wtt-degrees 
    Yamaleev Mars Mansurovich; Vu Gohua (2017)
    В статье доказывается, что не существует максимальной 2-в.п. wtt-степени в 2-в.п. wtt-степенях

Поиск в электронном архиве


Расширенный поиск

Просмотр

Моя учетная запись