Айказян Левон А.

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

1. On functional symbol-free logic programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2012, № 1,  43–48
2. Decidability of $\Delta$-equivalence problem for monadic logic programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2011, № 2,  50–54