| RUS ENG |
| Full version |
|
|
|
| SEMINARS |
|
Seminar by Department of Discrete Mathematic, Steklov Mathematical Institute of RAS
|
|||
|
|
|||
|
Алгоритмы антиунификации и их применение для вычисления инвариантов программ (кандидатская диссертация) E. V. Kostylev |
|||