Khachatryan Suren A.

Publications in Math-Net.Ru

1. On optimization of monadic logic programs
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2014, no. 1,  40–47
2. On termination of functional symbol-free logic programs
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2013, no. 3,  49–56