Фотографии доклада: Nikolaj Bjorner, Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines
Nikolaj Bjorner

Обратная связь:

Пользовательское соглашение

Регистрация

© Математический институт им. В. А. Стеклова РАН, 2025
© Российская академия наук, Отделение математических наук, 2025