Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Гордеев Л E-mail: https://www.mathnet.ru/rus/person43874 Список публикаций на Google Scholar Публикации в базе данных 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 Организации Wilhelm-Schickard-Institut für Informatik, Universität Tübingen