|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
L. Budaghyan, D. A. Grigoryan, L. H. Torosyan, “A necessary and sufficient condition for the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms”, Уч. записки ЕГУ, сер. Физика и Математика, 53:1 (2019), 28–36  |
|
2003 |
| 2. |
Л. Будагян, “О формализации понятия $\delta$-редукции в монотонных моделях типового $\lambda$-исчисления”, Уч. записки ЕГУ, сер. Физика и Математика, 2003, № 1, 27–36 |
1
|
|
|
|
2022 |
| 3. |
A. A. Gorodilova, N. N. Tokareva, S. V. Agievich, I. I. Beterov, T. Beyne, L. Budaghyan, C. Carlet, S. Dhooghe, V. A. Idrisova, N. A. Kolomeec, A. V. Kutsenko, E. S. Malygina, N. Mouha, M. A. Pudovkina, F. Sica, A. N. Udovenko, “An overview of the Eight International Olympiad in Cryptography “Non-Stop University CRYPTO””, Сиб. электрон. матем. изв., 19:1 (2022), 9–37  |
5
|
|
