Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Вакарелов Д

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Лекций и докладов: 1

Статистика просмотров:
Эта страница:151
Страницы публикаций:996
Полные тексты:193
Списки литературы:133
Сайт: http://www.fmi.uni-sofia.bg/fmi/logic/vakarelov/

https://www.mathnet.ru/rus/person57189
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2018
1. P. Dimitrov, D. Vakarelov, “Dynamic contact algebras and quantifier-free logics for space and time”, Сиб. электрон. матем. изв., 15 (2018),  1103–1144  mathnet  isi 1
2016
2. Д. Вакарелов, “Динамическая мереотопология. III. Единые бесточечные теории пространства и времени типа Уайтхеда. III”, Алгебра и логика, 55:3 (2016),  273–299  mathnet; D. Vakarelov, “Dynamic mereotopology. III. Whiteheadian type of integrated point-free theories of space and time. III”, Algebra and Logic, 55:3 (2016), 181–197  isi  scopus 5
3. Д. Вакарелов, “Динамическая мереотопология. III. Единые бесточечные теории пространства и времени типа Уайтхеда. II”, Алгебра и логика, 55:1 (2016),  14–36  mathnet  elib; D. Vakarelov, “Dynamic mereotopology III. Whiteheadean type of integrated point-free theories of space and time. II”, Algebra and Logic, 55:1 (2016), 9–23  isi  scopus 6
2014
4. Д. Вакарелов, “Динамическая мереотопология. III. Единые точечно-свободные теории пространства и времени типа Уайтхеда. I”, Алгебра и логика, 53:3 (2014),  300–322  mathnet  mathscinet; D. Vakarelov, “Dynamic mereotopology. III. Whiteheadean type of integrated point-free theories of space and time. I”, Algebra and Logic, 53:3 (2014), 191–205  isi  scopus 7

Доклады и лекции в базе данных Math-Net.Ru
1. Logics of space with connectedness predicates: complete axiomatizations
Tinko Tinchev, Dimiter Vakarelov
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
26 августа 2010 г. 09:50   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024