Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Bjorner, Nikolaj
Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:122

https://www.mathnet.ru/eng/person72197
List of publications on Google Scholar
List of publications on ZentralBlatt

Presentations in Math-Net.Ru
1. Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines
Nikolaj Bjorner
International workshop "Logical Models of Reasoning and Computation"
February 2, 2012 12:00   
2. Z3 - An Efficient Satisfiability Modulo Theories solver: Foundations and Applications
Nikolaj Bjorner
International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 12:00   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024