DOI

Original languageEnglish
Pages (from-to)392-411
Number of pages20
JournalMathematical Structures in Computer Science
Volume28
Issue number3
DOIs
Publication statusPublished - 1 Mar 2018

    Research areas

  • STRONG CONSTRUCTIVIZATIONS, BOOLEAN-ALGEBRAS, INDEX SETS, COMPUTABLE CATEGORICITY, RECURSIVE STRUCTURES, HYPERARITHMETICAL DEGREES, LINEAR-ORDERINGS, MODELS, COMPLEXITY, STABILITY

    OECD FOS+WOS

ID: 12177864