Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Gordeev, L E-mail: https://www.mathnet.ru/eng/person43874 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2008 1. L. Gordeev, E. H. Haeusler, V. G. da Costa, “Proof compressions with circuit-structured substitutions”, Zap. Nauchn. Sem. POMI, 358 (2008),  77–99  ; J. Math. Sci. (N. Y.), 158:5 (2009), 645–658   6 Organisations Wilhelm-Schickard-Institut für Informatik, Universität Tübingen