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

Просмотр по автору "Ng K."

Просмотр по автору "Ng K."

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

  • 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 ...
  • On Kierstead’s conjecture 
    Ng K.; Zubkov M. (2019)
    © 2019 American Mathematical Society. We settle the long-standing Kierstead conjecture in the negative. We do this by constructing a computable linear order with no rational subintervals, where every block has order type ...
  • The Diversity of Categoricity Without Delay 
    Kalimullin I.; Melnikov A.; Ng K. (2017)

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

Просмотр

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