11 - 20 out of 79Page size: 10
  1. 2015

  2. A Mathematical Notion of a Package of Level Markov-Post Algorithms for Word Processing

    Kosovskii, N. K. & Kosovskaya., T. M., 2015, In: Global Journal of Pure and Applied Mathematics. 11, 6, p. 4911-4917

    Research output: Contribution to journal › Article

  3. Computational Complexity for Some Problems of Two Terms Unification Based on Concatenation

    Kosovskii, N. K., 2015, Proceedings of the Seventh IEEE International Conference on Intelligent Computing and Information Systems, ICICIS 2015. p. 56 – 57

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

  4. Mutual Upper Bounds of Size and Time for a Turing Machine and a Markov–Post Algorithm for Mutual Simulations

    Kosovskii, N. K., Kosovskaya, T. M. & Kosovskii, N. N., 2015, In: Vestnik St. Petersburg University: Mathematics. 48, 2, p. 72–74

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

  5. NP-полнота задачи проверки совместности в отрезке целых чисел системы целочисленных линейных уравнений и дизуравнений

    Косовский, Н. К. & Косовский, Н. Н., 2015, Дискретные модели в теории управляющих систем: IX Международная конференция, Москва и Подмосковье, 20 — 22 мая 2915 г.: Труды. МАКС Пресс, p. 123 — 125

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

  6. Systems of Linear Diophantine Equations and Dis-Equations Complexity

    Kosovskii, N. K. & Kosovskii, N. N., 2015, International Journal on Information Theories and Applications. p. 258 – 265

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology

  7. Математическая логика для программистской специальности на мат-мехе в СПбГУ

    Косовский, Н. К., 2015, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, p. 45 – 49

    Research output: Contribution to journal › Literature review

  8. Совместные ограничения сверху зоны и времени для взаимного моделирования машин Тьюринга и алгоритмов Маркова — Поста

    Косовский, Н. К., Косовская, Т. М. & Косовский, Н. Н., 2015, In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. СЕРИЯ 1: МАТЕМАТИКА, МЕХАНИКА, АСТРОНОМИЯ. 2, p. 191-194

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

  9. 2014

  10. A Language Using Quantifiers for Description of Assertions about Some Number Total Functions

    Kosovskii, N., 2014, In: International Journal on Information Theory and Applications. 21, 2, p. 120 – 125

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

  11. Polynomial Upper Bounds on the Size of Changes of a RAM+BOOL Program as a Tool for Proving Belonging to FP

    Kosovskii, N. K., 2014, In: Journal of Mathematical Sciences. 199, 1, p. 53-55

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

  12. Паскаль функции на основе числовых и булевых типов данных и сложность задачи вычисления одного подкласса таких функций Т. 1. Ижевск: Изд-во «Удмурдский университет». 2014 — с. 31.

    Косовский, Н. К., 2014, // Технологии информатизации профессиональной деятельности (в науке, образовании и промышленности) — ТИПД-2014. Труды IV Всероссийской научной конференции с международным участием.. p. 31

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

Previous 1 2 3 4 5 6 7 8 Next

ID: 194195