Theory of Computable Numberings and Reverse Mathematics

Project: FDCRGP

  • 13 Article
  • 2 Conference contribution
Filter
Conference contribution

Search results

  • 2023

    On Two Types of Concept Lattices in the Theory of Numberings

    Bazhenov, N., Mustafa, M. & Nurakunov, A., Jan 2023, Theory and Applications of Models of Computation - 17th Annual Conference, TAMC 2022, Proceedings. Du, D.-Z., Du, D., Wu, C. & Xu, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 79-92 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13571 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)
  • 2021

    Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy

    Bazhenov, N., Mustafa, M., Ospichev, S. & San Mauro, L., 2021, Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Proceedings. Ghosh, S. & Icard, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13039 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Citation (Scopus)