|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2018 |
1. |
S. A. Grechanik, “Polyprograms and polyprogram bisimulation”, Модел. и анализ информ. систем, 25:5 (2018), 534–548 |
|
2017 |
2. |
С. А. Гречаник, “Полипрограммы как представление множеств функциональных программ и преобразования над ними”, Препринты ИПМ им. М. В. Келдыша, 2017, 005, 31 стр. |
1
|
|
2013 |
3. |
S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Препринты ИПМ им. М. В. Келдыша, 2013, 070, 28 стр. |
4. |
Sergei Grechanik, “Supercompilation by hypergraph transformation”, Препринты ИПМ им. М. В. Келдыша, 2013, 026, 24 стр. |
1
|
|