Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 годасборник
Статьи, опубликованные в сборнике
-
-
2017
Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой
-
Рыбаков Михаил Николаевич,
Котикова Екатерина Александровна
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 43-44
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
-
-
-
2017
К проблеме табличности фрагментов логики I <ω,ω>
-
Попов В.М.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 36-37
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
-
-
-