Секция „Математическа логика”
- Антон Зиновиев
Една връзка между теоремите на Клини за регулярност на автоматните езици и втората теорема за рекурсията - Димитър Скордев
Един клас от базиси за двоичните функции - Ангел Дичев
Необходимо и достатъчно условие за съществуване на степен на тотална структура - Иван Сосков и Христо Ганчев
Операторът скок в omega - номерационните степени - Христо Ганчев
Структурни свойства на номерационните степени - Александра Соскова и Иван Сосков
Една теорема за обръщане на скока за спектри от структури - Стефан Вътев и Александра Соскова
Омега спектри - Петьо Петков
Преводът на учебника на Джевънс от 1884 г. - Димитър Вакарелов
Модална логика за стабилни и нестабилни релации - Тинко Тинчев
Универсални фрагменти на RCC-теории - Георги Георгиев
Класове от структури със съгласувани релации на еквивалентност - разширения от втори ред - Владимир Сотиров
Некласически операции, скрити в класическата логика - Димитър Гелев
Изборният курс “Увод в темпоралната логика” - Стефан Герджиков
Автомати с допълнителна FIFO-памет за обработка на текстове. Правила за заместване - Петър Митанкин
Необходимо и достатъчно условие за съществуване на универсален автомат за близости между думи - Димитър Добрев
Модификация на метода на резолюцията - Огнян Захариев
Три стъпки, необходими за нишковидно и паралелно логическо програмиране – формално предложение
