Marc Bagnol
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2014–2016
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FOSSACS | Unary Resolution: Characterizing Ptime. | Clment Aubert, Marc Bagnol, Thomas Seiller |
| 2015 | FOSSACS | On the Dependencies of Logical Rules. | Marc Bagnol, Amina Doumane, Alexis Saurin |
| 2014 | APLAS | Logic Programming and Logarithmic Space. | Clment Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |