| RUS ENG |
| Full version |
|
|
|
| VIDEO LIBRARY |
|
International workshop "Logical Models of Reasoning and Computation"
|
|||
|
|
|||
|
Solving Fixed-points with Theories: From program logics, to logic programs, to logic engines Nikolaj Bjorner Microsoft Research, Redmond |
|||
|
Language: English |
|||