Joudakizadeh Milad

Publications in Math-Net.Ru

1. Adaptive human–machine theorem proving system
   
   Izv. IMI UdGU, 64 (2024),  17–33
2. Two-level realization of logical formulas for deductive program synthesis
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 34:4 (2024),  469–485
3. Mutual modeling of sequential and parallel word computations
   
   Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 34:2 (2024),  299–308