Research output

  1. Gregory Tseytin: Obituary

    Research output: Contribution to journal › Article › peer-review

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

    Research output: Contribution to journal › Article › peer-review

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

    Research output: Contribution to conference › Paper

View all (43) »

Projects

  1. 2021 Международная конференция «St. Petersburg Days of Logic and Computability V»

    Project: Grant fulfilment › Total grant fulfilment

View all () »

ID: 9072111