![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Кратко изложена история исследования реляционных алгебр и связь их с произведениями модальных логик, включая новые результаты докладчика о финитной аппроксимируемости и разрешимости.