1 - 10 из 43Размер страницы: 10
Сортировать по:: Год публикации
  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