• K. V. Blinov
Original languageEnglish
Pages (from-to)20-26
Number of pages7
JournalSiberian Mathematical Journal
Volume60
Issue number1
DOIs
Publication statusPublished - 1 Jan 2019

    OECD FOS+WOS

    Research areas

  • decidability with primitively recursive witnesses, linear ordering, primitively recursive categoricity

ID: 20051752