Хачатрян Сурен А.

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

1. On optimization of monadic logic programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2014, № 1,  40–47
2. On termination of functional symbol-free logic programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2013, № 3,  49–56