–
Доклады на научных конференциях
-
- 2017 On the Complexity of the Natural Deduction Proof Search Algorithm (Устный)
- Авторы: Alexander Bolotov, Vasilyi Shangin, Daniil Kozhemiachenko
- 24th Automated Reasoning Workshop (ARW'17), Bristol, Великобритания, 3-4 апреля 2017
-
- 2013 On an application of the paracomplete model set
- Авторы: Болотов А.Е., Шангин В.О.
- Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года, г.Москва, МГУ имени М.В. Ломоносова, Россия, 19-21 июня 2013
-
- 2013 Proof Search for Natural Deduction in the setting of Paracomplete Logic PComp
- Авторы: Болотов А.Е., Шангин В.О.
- The 20th Automated Reasoning Workshop (ARW 2013), the School of Computing of University of Dundee, UK, Великобритания, 11 апреля 2013
-
- 2003 Proof-searching algorithm in first order classical natural deduction calculus
- Авторы: Бочаров В.А., Болотов А.Е., Горчаков А.Е., Шангин В.О.
- 2th International Congress of Logic, Methodology and Philosophy of Science., Oviedo (Spain), Испания, 2003