Построение явного базиса допустимых правил вывода для табличных модальных логик ширины 3 глубины 2
Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/28617Автор:
Бурмакина, Анастасия Сергеевна
Научный руководитель:
Кияткин, Владимир Ростиславович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики