Manat Mustafa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
2
Active years
2019–2026
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CiE | On Computability of Ideal Lattices. | Nikolay Bazhenov, Manat Mustafa, Stanislav Yun |
| 2025 | CiE | On Learning Existentially Definable Subsets in a Computable Structure. | Nikolay Bazhenov, Manat Mustafa |
| 2025 | TAMC | On a Computability-Theoretic Approach to Boolean-Valued Models. | Nikolay Bazhenov, Manat Mustafa |
| 2024 | CiE | On Arithmetical Numberings in Reverse Mathematics. | Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa |
| 2024 | TAMC | On Learning Families of Ideals in Lattices and Boolean Algebras. | Nikolay Bazhenov, Manat Mustafa |
| 2022 | TAMC | On Two Types of Concept Lattices in the Theory of Numberings. | Nikolay Bazhenov, Manat Mustafa, Anvar M. Nurakunov |
| 2020 | TAMC | Semilattices of Punctual Numberings. | Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev |
| 2019 | CiE | Bounded Reducibility for Computable Numberings. | Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev |
| 2019 | TAMC | Computable Isomorphisms of Distributive Lattices. | Nikolay Bazhenov, Manat Mustafa, Mars M. Yamaleev |