121 - 130 out of 955Page size: 10
  1. 2023

  2. Logic vs topology on regular ω-languages

    Селиванов, В. Л. & Ореховский, В. Н., 2023, Unity of Logic and Computation (CiE 2023). Springer Nature, Vol. 13967. (LNCS).

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

  3. Machine Learning for SAT: Restricted Heuristics and New Graph Representations

    Shirokikh, M., Shenbin, I., Alekseev, A. & Nikolenko, S., 2023.

    Research output: Working paper › Preprint

  4. On Embedding of Besov Spaces of Zero Smoothness into Lorentz Spaces

    Столяров, Д. М., 2023, In: Proceedings of the Steklov Institute of Mathematics. 323, p. 197–205

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

  5. On string functions and double-sum formulas

    Mortenson, E. T., Постнова, О. В. & Соловьёв, Д. П., 2023, In: Research in the Mathematical Sciences. 10, 15.

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

  6. Primitive recursive ordered fields and some applications

    Селиванов, В. Л. & Селиванова, С. В., 2023, In: Computability. 12, p. 71–99 29 p.

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

  7. Sequences of symmetry groups of infinite words.

    Luchinin, S. & Puzynina, S., 2023, In: Discrete Mathematics. 346, 1, 113171.

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

  8. State Complexity of GF(2)-Inverse and GF(2)-Star on Binary Languages

    Охотин, А. С. & Сажнева, Е. А., 2023, In: Journal of Automata, Languages and Combinatorics. 28, 1-3, p. 121-141 21 p.

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

  9. The mixed mock modularity of certain duals of generalized quantum modular forms of Hikami and Lovejoy

    Mortenson, E. T. & Zwegers, S., 2023, In: Advances in Mathematics. 418, 108944.

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

  10. Triangular projection on Sp, 0<p<1, and related inequalities

    Пеллер, В. В. & Александров, А. Б., 2023, In: Proceedings of the American Mathematical Society. 151, p. 2559-2571 13 p.

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

  11. Wadge degrees of classes of omega-regular k-partitions

    Селиванов, В. Л., 2023, In: Journal of Automata, Languages and Combinatorics. 28, 1-3, p. 167-199 33 p.

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

Previous 1...9 10 11 12 13 14 15 16 ...96 Next

ID: 45528956