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

Videolibrary

RUS ENG

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

International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 12:00, Moscow, Steklov Mathematical Institute

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

Nikolaj Bjorner

Microsoft Research, Redmond

Language: English