Virgile Mogbil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2001–2010
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ESOP | A PolyTime Functional Language from Light Linear Logic. | Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
| 2008 | LICS | Correctness of Multiplicative Additive Proof Structures is NL-Complete. | Paulin Jacob de Naurois, Virgile Mogbil |
| 2007 | CSL | Correctness of Multiplicative (and Exponential) Proof Structures is | Paulin Jacob de Naurois, Virgile Mogbil |
| 2007 | LFCS | Uniform Circuits, & Boolean Proof Nets. | Virgile Mogbil, Vincent Rahli |
| 2004 | FOSSACS | Soft lambda-Calculus: A Language for Polynomial Time Computation. | Patrick Baillot, Virgile Mogbil |
| 2001 | CSL | Quadratic Correctness Criterion for Non-commutative Logic. | Virgile Mogbil |