Доклады на конференциях - Sciact

Доклады на конференциях (11)

#	Публикация
1	Максимова Л.Л. , Юн В.Ф. Пример логик с интерполяционным свойством CIP, сумма которых не имеет CIP Международная конференция "Мальцевские чтения" 11-15 нояб. 2024
2	Максимова Л.Л. , Юн В.Ф. Предтабличность и интерполяция Мальцевские чтения : Международная конференция 13-17 нояб. 2023
3	Максимова Л.Л. , Юн В.Ф. Интерполяционное свойство Крейга и предтабличность над минимальной логикой Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 14-18 нояб. 2022
4	Максимова Л.Л. , Юн В.Ф. Разрешимые свойства логик Всероссийская научная конференция «Математические основы информатики и информационно-коммуникационных технологий» 03-08 дек. 2021
5	Максимова Л.Л. , Юн В.Ф. Сводимость свойств гибридных логик к свойствам напарников Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 20-24 сент. 2021
6	Максимова Л.Л. , Юн В.Ф. Узнаваемость логики OdF в классе предгейтинговых логик Международная конференция "Мальцевские чтения", Новосибирск, 16-19 ноября 2020 г. 16-19 нояб. 2020
7	Максимова Л.Л. , Юн В.Ф. Проблема сильной узнаваемости в расширениях логик Od и JX Международная конференция "Мальцевские чтения" 19-23 авг. 2019
8	Maksimova L. , Yun V. On strong recognizability of the intuitionistic logic European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium 2019 11-16 Aug 2019
9	Максимова Л.Л. , Юн В.Ф. Интерполяционное свойство в расширениях Od Международная конференция «Мальцевские чтения» 19 авг. - 22 нояб. 2018
10	Maksimova L.L. , Yun V.F. Strong decidability of the classification over Gl 6th World Congress and School on Universal Logic June 16–26, 2018 Vichy, France. – Vichy: Vichy University, 2018. 16-26 Jun 2018
11	Максимова Л.Л. , Юн В.Ф. Распознавание свойств исчислений по правилам вывода Международная конференция "Мальцевские чтения", Новосибирск, 20-24 ноября 2017 г., 20-24 нояб. 2017

1 / 1 - Всего 11 записей

Фильтр

Название доклада

Название конференции

Год

Автор

Язык

Сортировка

Столбцы

Записей на страницу

Сбросить