Joudakizadeh Milad

Publications in Math-Net.Ru

1. Complexity of computations with time travel
   
   Program Systems: Theory and Applications, 16:2 (2025),  3–54
2. Programming in grammars
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 35:2 (2025),  315–334
3. Adaptive human–machine theorem proving system
   
   Izv. IMI UdGU, 64 (2024),  17–33
4. Two-level realization of logical formulas for deductive program synthesis
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 34:4 (2024),  469–485
5. Mutual modeling of sequential and parallel word computations
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 34:2 (2024),  299–308