С. Л. Кузнецов, “Алгоритмическая сложность теорий коммутативных алгебр Клини”, Изв. РАН. Сер. матем., 88:2 (2024), 44–79; S. L. Kuznetsov, “Algorithmic complexity for theories of commutative Kleene algebras”, Izv. Math., 88:2 (2024), 236–269
Tikhon Pshenitsyn, “Hyperarithmetical complexity of infinitary action logic with multiplexing”, Log. J. IGPL, 2024, 1–26
Т. Г. Пшеницын, “Замыкающий ординал оператора непосредственной выводимости
в инфинитарной логике действий”, Матем. заметки, 116:4 (2024), 559–577; T. G. Pshenitsyn, “Closure ordinal of immediate derivability operator of infinitary action logic”, Math. Notes, 116:4 (2024), 729–744
Stepan L. Kuznetsov, “On the complexity of reasoning in Kleene algebra with commutativity conditions”, Lecture Notes in Comput. Sci., 14446 (2023), 83–99
Stepan L. Kuznetsov, “Commutative action logic”, J. Logic Comput., 33:6 (2023), 1427–1462
Stepan L. Kuznetsov, “Complexity of the Lambek calculus and its extensions”, Stud. Comput. Intell., 1081 (2023), 1–29
Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 111 (2023), 251–280
Обратная связь: