Kazan Federal University Digital Repository

Browsing Институты и другие подразделения by Author "Yamaleev Mars Mansurovich"

Browsing Институты и другие подразделения by Author "Yamaleev Mars Mansurovich"

Sort by: Order: Results:

  • 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-степенях

Search DSpace


Advanced Search

Browse

My Account