1. 2023
  2. Gregory Tseytin: Obituary

    Artemov, S., Беклемишев, Л. Д., Боркин, Л. Я., Вершик, А. М., Гирш, Э. А., Gurevich, Y., Данцин, Е. Я., Ибрагимов, И. А., Kalmens, G., Kreinovich, V., Koubenski, D., Лодкин, А. А., Матиясевич, Ю. В., Новиков, Б. А., Оревков, В. П., Семенов, А., Слисенко, А. О. & Шень, А. Х., окт 2023, в: Bulletin of the European Association for Theoretical Computer Science. 141, стр. 9-14 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Григорий Самуилович Цейтин (некролог)

    Артемов, С. Н., Беклемишев, Л. Д., Боркин, Л. Я., Вершик, А. М., Гирш, Э. А., Данцин, Е. Я., Ибрагимов, И. А., Кальменс, Е. В., Крейнович, В. Я., Кубенский, Д. А., Лодкин, А. А., Матиясевич, Ю. В., Новиков, Б. А., Оревков, В. П., Семенов, А. Л., Слисенко, А. О. & Шень, А. Х., 31 мая 2023, в: УСПЕХИ МАТЕМАТИЧЕСКИХ НАУК. 78, 3(471), стр. 170-176 7 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. 2021
  5. СЛОЖНОСТЬ АЛГЕБРАИЧЕСКИХ ДОКАЗАТЕЛЬСТВ (ОБЗОР)

    Гирш, Э. А., 2021, стр. 157. 1 стр.

    Результаты исследований: Материалы конференцийматериалы

  6. 2018
  7. On the limits of gate elimination

    Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 сен 2018, в: Journal of Computer and System Sciences. 96, стр. 107-119 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. 2016
  9. A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function

    Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., 14 дек 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. Institute of Electrical and Electronics Engineers Inc., стр. 89-98 10 стр. 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; том 2016-December).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  10. On the limits of gate elimination

    Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 авг 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (ред.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; том 58).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференцииРецензирование

  11. 2015
  12. On the probabilistic closure of the loose unambiguous hierarchy

    Hirsch, E. A. & Sokolov, D., 1 сен 2015, в: Information Processing Letters. 115, 9, стр. 725-730 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  13. 2013
  14. Optimal heuristic algorithms for the image of an injective function

    Hirsch, E. A., Itsykson, D. M., Nikolaenko, V. O. & Smal, A. V., 1 янв 2013, в: Journal of Mathematical Sciences (United States). 188, 1, стр. 7-16 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  15. 2012
  16. On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography

    Hirsch, E. A., Itsykson, D., Monakhov, I. & Smal, A., 1 авг 2012, в: Theory of Computing Systems. 51, 2, стр. 179-195 17 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  17. On an optimal randomized acceptor for graph nonisomorphism

    Hirsch, E. A. & Itsykson, D., 28 фев 2012, в: Information Processing Letters. 112, 5, стр. 166-171 6 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

Назад 1 2 3 4 5 Далее

ID: 9072111