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

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE 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

Contact us:

© Steklov Mathematical Institute RAS, 2025
© Branch of Mathematical Sciences, Russian Academy of Sciences, 2025