Research Output per year
Personal profile
External positions
Fingerprint Dive into the research topics where Manat Mustafa is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Semilattice
Mathematics
Reducibility
Mathematics
Ershov Hierarchy
Mathematics
Equivalence relation
Mathematics
Distributive Lattice
Mathematics
Notation
Mathematics
Isomorphism
Mathematics
Undecidability
Mathematics
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2012 2019
Bounded Reducibility for Computable Numberings
Bazhenov, N., Mustafa, M. & Ospichev, S., Jan 1 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer Verlag, p. 96-107 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Reducibility
Semilattice
Algorithmic Complexity
Natural number
Family
Bounded reducibility for computable numberings.
Bazhenov, N., Mustafa, M. & Ospichev, S., Jun 19 2019, In : Lecture Notes in Computer Science. p. 1 12 p., 1.Research output: Contribution to journal › Article
Reducibility
Semilattice
Algorithmic Complexity
Natural number
Family
Computable isomorphisms of distributive lattices
Bazhenov, N., Mustafa, M. & Yamaleev, M., Jan 1 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Distributive Lattice
Reducibility
Equivalence relation
Algebra
Isomorphism
Computable Isomorphisms of Distributive Lattices
Bazhenov, N., Mustafa, M. & Yamaleev, M., Mar 6 2019, Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). 1 ed. Springer International Publishing, Vol. 11436. p. 28-41 14 p. (Lecture Notes in Computer Science, vol 11436. Springer, Cham).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Distributive Lattice
Reducibility
Equivalence relation
Isomorphism
Computable Structure
Reductions between types of numberings
Herbert, I., Jain, S., Lempp, S., Mustafa, M. & Stephan, F., Jul 4 2019, In : Annals of Pure and Applied Logic. p. 1-30 30 p.Research output: Contribution to journal › Article
Semilattice
Open Problems
Activities 2015 2019
Fourteenth International Conference on Computability, Complexity and Randomness
Manat Mustafa (Organizer), Huseyin Atakan Varol (Organizer)Jun 23 2019 → Jun 25 2019
Activity: Participating in event › Participation in workshop, seminar
Asian Logic Conference
Manat Mustafa (Organizer), Vassilios Tourassis (Organizer), Francesco Sica (Organizer), Zhibek Kadyrsizova (Organizer)Jun 17 2019 → Jun 21 2019
Activity: Participating in event › Participation in workshop, seminar
Nikolay Bazhenov
Manat Mustafa (Host)Nov 1 2018 → Nov 16 2018
Activity: Hosting a visitor/event › Hosting a research visitor
Sergey Ospichev
Manat Mustafa (Host)Nov 1 2018 → Nov 16 2018
Activity: Hosting a visitor/event › Hosting a research visitor
Nanyang Technological University
Manat Mustafa (Visiting researcher)Oct 6 2018 → Oct 13 2018
Activity: Visiting types › Visiting an external research institution