Artificial Intelligence,
Mathematical Logic,
Theory of Algorithms,
Complexity Theory.
Subject:
PhD Student, Udmurt State University
Main publications:
M. Joudakizadeh, A. P. Bel'tyukov, “Two-level realization of logical formulas for deductive program synthesis”, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki, 34:4 (2024), 469-485
M. Joudakizadeh, A. P. Beltiukov, “Complexity of computations with time travel”, Program Systems: Theory and Applications, 16:2 (2025), 3–54
2.
M. Joudakizadeh, A. P. Bel'tyukov, “Programming in grammars”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 35:2 (2025), 315–334
2024
3.
M. Joudakizadeh, A. P. Bel'tyukov, “Adaptive human–machine theorem proving system”, Izv. IMI UdGU, 64 (2024), 17–33
4.
M. Joudakizadeh, A. P. Bel'tyukov, “Two-level realization of logical formulas for deductive program synthesis”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 34:4 (2024), 469–485
5.
A. P. Bel'tyukov, S. G. Maslov, M. Joudakizadeh, “Mutual modeling of sequential and parallel word computations”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 34:2 (2024), 299–308
Contact us: