Research output per year
Research output per year
Search results
-
2025
On learning down-sets in quasi-orders, and ideals in Boolean algebras
Bazhenov, N. & Mustafa, M., Mar 2025, In: Theory of Computing Systems. 69, 1, 1.Research output: Contribution to journal › Article › peer-review
-
2024
Free bicommutative superalgebras
Drensky, V., Ismailov, N., Mustafa, M. & Zhakhayev, B., Aug 15 2024, In: Journal of Algebra. 652, p. 158-187 30 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
On Arithmetical Numberings in Reverse Mathematics
Bazhenov, N., Fiori-Carones, M. & Mustafa, M., 2024, Twenty Years of Theoretical and Practical Synergies - 20th Conference on Computability in Europe, CiE 2024, Proceedings. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (eds.). Springer Science and Business Media Deutschland GmbH, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14773 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
On Learning Families of Ideals in Lattices and Boolean Algebras
Bazhenov, N. & Mustafa, M., 2024, Theory and Applications of Models of Computation - 18th Annual Conference, TAMC 2024, Proceedings. Chen, X. & Li, B. (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. 14637 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)