|
|
Publications in Math-Net.Ru |
Citations |
|
2012 |
1. |
L. A. Haykazyan, “On functional symbol-free logic programs”, Proceedings of the YSU, Physical and Mathematical Sciences, 2012, no. 1, 43–48 |
|
2011 |
2. |
L. A. Haykazyan, “Decidability of $\Delta$-equivalence problem for monadic logic programs”, Proceedings of the YSU, Physical and Mathematical Sciences, 2011, no. 2, 50–54 |
|
Organisations |
|
|