Տրամաբանական ծրագրերի օպտիմիզացման մասին: Ատենախոսություն ֆիզ.մաթ.գիտ.թեկն. ...ըստ հետևյալ մասնագիտ.:Ե.13.04-Հաշվողական մեքենաների,համալիրների,համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում/
Սուրեն Արտաշեսի Խաչատրյան.
- Երևան, 2014.
- 80 էջ.
Գիտ.ղեկ.՝ ֆ.մ.գ.դ. Ս.Ա.Նիգիյան.
Օգտ.գրակ.էջ՝ 77-80.
Առաջին կարգի պրեդիկատներ Սեմանտիկայի պահպանում--Կանոնական մոնադիկ ծրագրեր