161 - 170 out of 1,003Page size: 10
  1. 2022

  2. SAT-Based Circuit Local Improvement

    Куликов, А. С., Печенев, Д. Е. & Слезкин, Н. Е., 1 Aug 2022, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022. Szeider, S., Ganian, R. & Silva, A. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 15 p. 68. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 241).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. A note on the concurrent normal conjecture

    Grebennikov, A. & Panina, G., Aug 2022, In: Acta Mathematica Hungarica. 167, 2, p. 529-532 4 p.

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

  4. Spectral synthesis for exponentials and logarithmic length

    Баранов, А. Д., Белов, Ю. С. & Aleksei, K., Aug 2022, In: Israel Journal of Mathematics. 250, p. 403–427 25 p.

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

  5. FIXED POINT THEOREMS AND HARDY CLASSES

    Скворцов, А. А. & Кисляков, С. В., 30 Jun 2022, In: Journal of Mathematical Sciences. 282, 4, p. 516-529

    Research output: Contribution to journal › Article

  6. A Q-WADGE HIERARCHY IN QUASI-POLISH SPACES

    Selivanov, V., 5 Jun 2022, In: Journal of Symbolic Logic. 87, 2, p. 732-757 26 p.

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

  7. $B$-точки канторовских множеств

    Мозоляко, П. А., 1 Jun 2022, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 512

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

  8. Homogeneous triples for homogeneous algebras with two relations

    Marcos, E. D. N. & Volkov, Y., 1 Jun 2022, In: Journal of Algebra. 599, p. 1-47 47 p.

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

  9. Homomorphisms on Graph-Walking Automata

    Martynova, O. & Okhotin, A., Jun 2022, Implementation and Application of Automata - 26th International Conference, CIAA 2022, Proceedings. Caron, P. & Mignot, L. (eds.). Springer Nature, p. 177-188 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13266 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  10. On the Determinization of Event-Clock Input-Driven Pushdown Automata

    Ogawa, M. & Okhotin, A., Jun 2022, Computer Science – Theory and Applications - 17th International Computer Science Symposium in Russia, CSR 2022, Proceedings. Kulikov, A. S. & Raskhodnikova, S. (eds.). Springer Nature, p. 256-268 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13296 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. Bounded generation and commutator width of Chevalley groups: function case

    Kunyavski, B., Plotkin, E. & Vavilov, N., 18 May 2022, (Submitted) In: European Journal of Mathematics. 9, 64 p., 53.

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

Previous 1...13 14 15 16 17 18 19 20 ...101 Next

ID: 45528956