1 - 10 из 16Размер страницы: 10
Сортировать по:: Год публикации
  1. 2024

  2. Integer Linear-Exponential Programming in NP by Quantifier Elimination

    Старчак, М. Р., Chistikov, D. & Mansutti, A., 1 июл 2024, In 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 стр. 132. (Leibniz International Proceedings in Informatics (LIPIcs); том 297).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

  3. Existential Definability of Unary Predicates in Büchi Arithmetic

    Старчак, М. Р., 2024, Twenty Years of Theoretical and Practical Synergies: CiE 2024. Levy Patey, L., Pimentel, E., Galeotti, L. & Manea, F. (ред.). Springer Nature, стр. 218–232 15 стр. (Lecture Notes in Computer Science; том 14773).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

  4. 2023

  5. Existential Definability with Addition and k-Regular Predicates

    Старчак, М. Р., сен 2023. 4 стр.

    Результаты исследований: Материалы конференций › тезисы

  6. On the Existential Arithmetics with Addition and Bitwise Minimum

    Старчак, М. Р., 21 апр 2023, Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Kupferman, O. & Sobocinski, P. (ред.). Springer Nature, стр. 176–195 20 стр. (Lecture Notes in Computer Science; том 13992).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

  7. 2022

  8. Доказательство теоремы Бельтюкова — Липшица квазиэлиминацией кванторов. II. Основное сведение

    Старчак, М. Р., 4 янв 2022, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 66, 4, стр. 608-619

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. 2021

  10. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction

    Старчак, М. Р., 20 дек 2021, в: Vestnik St. Petersburg University: Mathematics. 54, 4, стр. 372–380 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  11. Quantifier elimination approach to existential linear arithmetic with GCD

    Старчак, М. Р., окт 2021. 4 стр.

    Результаты исследований: Материалы конференций › тезисы

  12. Доказательство теоремы Бельтюкова-Липшица квазиэлиминацией кванторов. I. Определения и НОД-лемма

    Старчак, М. Р., 26 сен 2021, в: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ. 8(66), 3, стр. 455-466

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  13. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. I. Definitions and GCD-Lemma

    Starchak, M. R., авг 2021, в: Vestnik St. Petersburg University: Mathematics. 54, 3, стр. 264–272

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  14. Positive Existential Definability with Unit, Addition and Coprimeness

    Старчак, М. Р., 18 июл 2021, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, стр. 353–360 8 стр. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › Рецензирование

Назад 1 2 Далее

ID: 223409