Исследования по конструктивной математике и математической логике. XI
|
Сложность задачи проверки тождеств в конечных полугруппах
Ж. Алмейда, М. В. Волков, С. В. Гольдберг
|
5 |
|
|
Non-maximal decidable structures
A. Bès, P. Cégielski
|
23 |
|
|
Tree inclusions in windows and slices
I. Guessarian, P. Cégielski
|
38 |
|
|
Иерархии по времени с неравномерной подсказкой для криптографического обращения функций
Э. А. Гирш, Д. Ю. Григорьев, К. В. Первышев
|
54 |
|
|
Proof compressions with circuit-structured substitutions
L. Gordeev, E. H. Haeusler, V. G. da Costa
|
77 |
|
|
The decision problem for some logics for finite words on infinite alphabets
S. Grigorieff, Ch. Choffrut
|
100 |
|
|
Об уравнениях с ограничениями на решения в свободных полугруппах
В. Г. Дурнев, О. В. Зеткина
|
120 |
|
|
Нечеткая конструктивная логика
И. Д. Заславский
|
130 |
|
|
The Lengths of Proofs: Kreisel's conjecture and Gödel's speed-up theorem
S. Cavagnetto
|
153 |
|
|
Борелевская сводимость как аддитивное свойство областей
В. Г. Кановей, В. А. Любецкий
|
189 |
|
|
Defining the integers in large rings of a number field using one universal quantifier
G. Cornelissen, A. Shlapentokh
|
199 |
|
|
In some curved spaces, one can solve NP-hard problems in polynomial time
V. Kreinovich, M. Margenstern
|
224 |
|
|
Logical equations in monadic logic
G. Mints, T. Hoshi
|
251 |
|
|
On a class of bases for Boolean functions
D. Skordev
|
271 |
|
|
Faster subsequence recognition in compressed strings
A. Tiskin
|
282 |
© , 2024
