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

Просмотр Научные публикации в Scopus по автору "Harrison-Trainor M."

Просмотр Научные публикации в Scopus по автору "Harrison-Trainor M."

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

  • Automatic and Polynomial-Time Algebraic Structures 
    Bazhenov N.; Harrison-Trainor M.; Kalimullin I.; Melnikov A.; Ng K. (2019)
    Copyright © The Association for Symbolic Logic 2019. A structure is automatic if its domain, functions, and relations are all regular languages. Using the fact that every automatic structure is decidable, in the literature ...
  • Graphs are not universal for online computability 
    Downey R.; Harrison-Trainor M.; Kalimullin I.; Melnikov A.; Turetsky D. (2020)
    © 2020 Elsevier Inc. We show that structures with only one binary function symbol are universal for “online” (punctual) computable structures. In contrast, we give a description of punctually categorical graphs which implies ...

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


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

Просмотр

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