Джудакизаде Милад

Публикации в базе данных Math-Net.Ru

1. Complexity of computations with time travel
   
   Программные системы: теория и приложения, 16:2 (2025),  3–54
2. Programming in grammars
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 35:2 (2025),  315–334
3. Adaptive human–machine theorem proving system
   
   Изв. ИМИ УдГУ, 64 (2024),  17–33
4. Two-level realization of logical formulas for deductive program synthesis
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:4 (2024),  469–485
5. Взаимное моделирование последовательных и параллельных словарных вычислений
   
   Вестн. Удмуртск. ун-та. Матем. Мех. Компьют. науки, 34:2 (2024),  299–308