Andrei Voronkov
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors) | LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. | EPiC Series, Volume 13 | ||
| Andrei Voronkov (editor) | Turing-100. The Alan Turing Centenary | EPiC Series, Volume 10 | ||
| Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors) | WING 2010. Workshop on Invariant Generation 2010 | EPiC Series, Volume 1 |
Keywords
| # | keywords |
|---|