|
|
Бивши докторанти и дисертациите им
-
Любомир Иванов, „Итеративни операторни
пространства“, 1980
-
Ангел Дичев, „Несводимост
на някои декартови степени към други и съотношение между два
вида изчислимост“, 1983
-
Иван Сосков, „Изчислимост
в частични алгебрични системи“, 1983
-
Йордан Зашев, „Теория на рекурсията в частично
наредени комбинаторни модели“, 1983
-
Соломон Паси, „Комбинаторна динамична логика“,
1984
-
Тинко Тинчев, „Разширения
на съждителната динамична логика“, 1986
-
Валентин Горанко,
„Определимост и пълнота в полимодални логики“, 1988
-
Александра Соскова,
„Ефективни алгебрични системи“, 1990
-
Стела Николова,
„Допустимост в абстрактни структури с произволна мощност“,
1991
-
Димитър Гелев,
„Вероятностни и темпорални модални логики“, 2000
-
Весела Балева,
„Операцията скок в степени от структури“, 2001
-
Христо Ганчев,
„Омега-номерационни степени“, 2009
Настоящи докторанти
Последна редакция: 16.11.2010 в 09,19 часа
|
|
