Haykazyan Levon A.

Publications in Math-Net.Ru

1. On functional symbol-free logic programs
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2012, no. 1,  43–48
2. Decidability of $\Delta$-equivalence problem for monadic logic programs
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2011, no. 2,  50–54