|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2008 |
1. |
L. Gordeev, E. H. Haeusler, V. G. da Costa, “Proof compressions with circuit-structured substitutions”, Зап. научн. сем. ПОМИ, 358 (2008), 77–99 ; J. Math. Sci. (N. Y.), 158:5 (2009), 645–658 |
6
|
|