Bjorner Nikolaj

Доклады и лекции в базе данных Math-Net.Ru

1. Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines
   Nikolaj Bjorner
   Международная конференция «Logical Models of Reasoning and Computation»
   2 февраля 2012 г. 12:00   
2. Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications
   Nikolaj Bjorner
   Международная конференция «Logical Models of Reasoning and Computation»
   1 февраля 2012 г. 12:00