?
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities
P. 326-340.
Ключевые слова: Lambek calculus
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
В книге
Springer, 2017
Канович М. И., Кузнецов С. Л., 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 г.
Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4
Добавлено: 20 декабря 2023 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic and Computation 2020 Vol. 30 No. 1 P. 239-256
Добавлено: 1 июля 2020 г.
Канович М. И., Кузнецов С. Л., 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 г.
Кузнецов С. Л., , in : Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Issue 12300.: Cham : Springer, 2020. P. 3-16.
Добавлено: 25 ноября 2020 г.
Канович М. И., Кузнецов С. Л., Щедров А., , 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 г.
Добавлено: 4 декабря 2021 г.
Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1-24
Добавлено: 14 декабря 2021 г.
Славнов С. А., Journal of Logic and Computation 2022 Vol. 32 No. 3 P. 479-517
Добавлено: 21 октября 2021 г.
Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775-788
Добавлено: 20 октября 2014 г.
S. L. Kuznetsov, Journal of Applied Non-Classical Logics 2014 Vol. 14 No. 1-2 P. 132-137
Добавлено: 23 октября 2016 г.
Добавлено: 12 ноября 2023 г.
Канович М. И., Кузнецов С. Л., Щедров А., Journal of Logic, Language and Information 2021 Vol. 30 No. 1 P. 31-88
Добавлено: 25 ноября 2020 г.
Канович М. И., 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 г.
Канович М. И., Кузнецов С. Л., Щедров А., , 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 г.
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189-222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.