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

Просмотр по теме "Reducibility"

Просмотр по теме "Reducibility"

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

  • Atoms in the structure of degrees of automata transformations and their monadic theories 
    Bairasheva V. (2001)
    The existence of atoms of automaton reducibility degrees structure with essential different properties is proved. In the proof the priority method from the theory of recursive funtions was used.
  • Reducibility on families 
    Kalimullin S.; Puzarenko V. (2009)
    A reducibility on families of subsets of natural numbers is introduced which allows the family per se to be treated without its representation by natural numbers being fixed. This reducibility is used to study a series of ...

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

Просмотр

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