1. 2017
  2. Edit distance neighbourhoods of input-driven pushdown automata

    Okhotin, A. & Salomaa, K., 2017, Computer Science – Theory and Applications: International Computer Science Symposium in Russia. p. 260-272 (Lecture Notes in Computer Science; vol. 10304).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearch

  3. Inverse shadowing in group actions

    Pilyugin, S. Y., 2017, In: Dynamical Systems. p. 198-210 13 p.

    Research output: Contribution to journalArticlepeer-review

  4. Lipschitz and hölder shadowing and structural stability

    Pilyugin, S. Y. & Sakai, K., 2017, In: Lecture Notes in Mathematics. 2193, p. 37-124 88 p.

    Research output: Contribution to journalArticlepeer-review

  5. Main definitions and basic results

    Pilyugin, S. Y. & Sakai, K., 2017, In: Lecture Notes in Mathematics. 2193, p. 1-35 35 p.

    Research output: Contribution to journalArticlepeer-review

  6. Notes on the computational aspects of Kripke's theory of truth

    Speranski, S. O., 2017, In: Studia Logica. 105, 2, p. 407–429

    Research output: Contribution to journalArticlepeer-review

  7. Quantifying over events in probability logic: an introduction

    Speranski, S. O., 2017, In: Mathematical Structures in Computer Science. 27, 8, p. 1581–1600

    Research output: Contribution to journalArticlepeer-review

  8. Rost motives, affine varieties, and classifying spaces:

    Petrov, V. & Semenov, N., 2017, In: Journal of the London Mathematical Society. 95, 3, p. 895-918 24 p.

    Research output: Contribution to journalArticlepeer-review

  9. The Quotient Operation on Input-Driven Pushdown Automata

    Okhotin, A. & Salomaa, K., 2017, In: Lecture Notes in Computer Science. 10316, p. 299-310

    Research output: Contribution to journalArticlepeer-review

  10. Михаил Захарович Соломяк (1931–2016)

    Александров, А. Б., Архипова, А. А., Гуреев, Т., Демьянович, Ю. К., Дубова, Т. П., Каннай, Я., Кароль, А. И., Кисляков, С. В., Кохась, К. П., Лаптев, А., Лодкин, А. А., Макаров, Б. М., Назаров, А. И., Назаров, Ф. Л., Подкорытов, А. Н., Потепун, А. В., Розенблюм, Г. В., Романовский, И. В., Соболев, А. В., Суслина, Т. А. & 6 others, Уральцева, Н. Н., Филонов, Н. Д., Флоринский, А. А., Широков, Н. А., Яковенко, С. & Яфаев, Д. Р., 2017, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 4, 1, p. 169-171

    Research output: Contribution to journalArticle

  11. 2016
  12. An Explicit Form of the Hilbert Symbol for Polynomial Formal Groups Over a Multidimensional Local Field. I

    Vostokov, S. V., Volkov, V. & Bondarko, M. V., 1 Dec 2016, In: Journal of Mathematical Sciences (United States). 219, 3, p. 370-374 5 p.

    Research output: Contribution to journalArticlepeer-review

ID: 20420