?
A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential
P. 3-16.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Issue 12300. , Cham : Springer, 2020
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189-222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.
Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775-788
Добавлено: 20 октября 2014 г.
Канович М. И., Кузнецов С. Л., Nigam V. и др., , in : 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING. Issue 10900.: Springer International Publishing AG, part of Springer Nature 2018, 2018. P. 228-245.
Добавлено: 11 июля 2018 г.
Захарьящев М. В., BRESOLIN D., KURUCZ A. и др., , in : ACM Transactions on Computational Logic (TOCL). Vol. 18. Issue 3.: NY : ACM, 2017. P. 1-39.
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of ...
Добавлено: 17 сентября 2017 г.
Zakharov V.A., Kuzurin N. N., Varnovsky N. P. и др., Programming and Computer Software 2015 Vol. 41 No. 6 P. 361-372
Program obfuscation is a semantic-preserving transformation aimed at bringing a program into a form that impedes understanding of its algorithm and data structures or prevents extracting certain valuable information from the text of the program. Since obfuscation may find wide use in computer security, information hiding and cryptography, security requirements to program obfuscators have become ...
Добавлено: 13 октября 2015 г.
Добавлено: 12 ноября 2023 г.
Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437-1462
Добавлено: 7 марта 2023 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in : Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Vol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2019. P. 373-391.
Добавлено: 4 сентября 2019 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
Добавлено: 1 июля 2020 г.
Захаров В. А., Новикова Т. А., , in : Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series. : Linz : Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55-61.
Добавлено: 13 октября 2015 г.
Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794-800
Добавлено: 9 ноября 2017 г.
Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479-517
Добавлено: 21 октября 2021 г.
Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4
Добавлено: 20 декабря 2023 г.
Добавлено: 10 мая 2023 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic, Language and Information 2021 Vol. 30 No. 1 P. 31-88
Добавлено: 25 ноября 2020 г.
Antonopoulos T., Gorogiannis N., Haase C. и др., , in : Lecture Notes in Computer Science. 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. : Berlin : Springer, 2014. Ch. 27. P. 411-425.
Добавлено: 24 марта 2015 г.
Захаров В. А., Кузюрин Н. Н., Варновский Н. П. и др., Программирование 2015 № 6
Обфускацией программ называется такое эквивалентное преобразование программ, которое придает программе форму, затрудняющую понимание алгоритмов и структур данных, используемых программой, и препятствующую извлечению из текста программы определенной полезной информации, содержащейся в ней. Поскольку обфускация программ может найти широкое применение при решении многих задач криптографии и компьютерной безопасности, задаче оценки стойкости обфускации придается очень большое значение, начиная ...
Добавлено: 13 октября 2015 г.
Добавлено: 4 декабря 2021 г.
Канович М. И., Кузнецов С. Л., Щедров А., , in : Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Vol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg : Springer, 2019. P. 356-372.
Добавлено: 4 сентября 2019 г.
Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1-24
Добавлено: 14 декабря 2021 г.
Канович М. И., Щедров А., Кузнецов С. Л., , in : 21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017. : Springer, 2017. P. 326-340.
Добавлено: 14 сентября 2017 г.
Канович М. И., Kuznetsov S., Щедров А., , in : Symposium on Logical Foundations of Computer Science (LFCS 2016). Vol. 9537: Logical Foundations of Computer Science.: Springer, 2016. P. 146-158.
Добавлено: 28 июня 2016 г.
Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111-121
Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...
Добавлено: 9 мая 2023 г.
Канович М. И., Кузнецов С. Л., Morrill G. и др., , in : Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017).: [б.и.], 2017. P. 22:1-22:17.
Добавлено: 15 сентября 2017 г.