Original languageEnglish
Pages (from-to)794-800
Number of pages7
JournalSiberian Mathematical Journal
Volume58
Issue number5
DOIs
Publication statusPublished - 1 Sept 2017

    Research areas

  • computability, computability over abstract structures, conditional term, formula, restricted quantifier, semantic programming, term, Δ-formula, Σ-formula

    OECD FOS+WOS

ID: 9874243