|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2012 |
1. |
L. A. Haykazyan, “On functional symbol-free logic programs”, Уч. записки ЕГУ, сер. Физика и Математика, 2012, № 1, 43–48 |
|
2011 |
2. |
L. A. Haykazyan, “Decidability of $\Delta$-equivalence problem for monadic logic programs”, Уч. записки ЕГУ, сер. Физика и Математика, 2011, № 2, 50–54 |
|