Virgile Mogbil

Publication Activity (10 Years)

Years Active: 2001-2017
Publications (10 Years): 1

Top Venues

LSFA

IFIP TCS

University of the Mediterranean, Marseille, France (PHD)

Education History

University of the Mediterranean, Marseille, France

PHD

Publications

Stefano Del Vecchio, Virgile Mogbil
An Interpretation of CCS into Ludics. LSFA (2017)
Emmanuel Beffara, Virgile Mogbil
Proofs as Executions. IFIP TCS (2012)
Paulin Jacobé de Naurois, Virgile Mogbil
Correctness of linear logic proof structures is NL-complete. Theor. Comput. Sci. 412 (20) (2011)
Patrick Baillot, Marco Gaboardi, Virgile Mogbil
A PolyTime Functional Language from Light Linear Logic. ESOP (2010)
Paulin Jacobé de Naurois, Virgile Mogbil
Rewriting Systems for Reachability in Vector Addition Systems with Pairs. RP (2010)
Virgile Mogbil
Non-deterministic Boolean Proof Nets. FOPARA (2009)
Paulin Jacobé de Naurois, Virgile Mogbil
Correctness of Multiplicative Additive Proof Structures is NL-Complete. LICS (2008)
Christophe Fouqueré, Virgile Mogbil
Rewritings for Polarized Multiplicative and Exponential Proof Structures. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Virgile Mogbil, Vincent Rahli
Uniform Circuits, & Boolean Proof Nets. LFCS (2007)
Paulin Jacobé de Naurois, Virgile Mogbil
-Complete. CSL (2007)
Patrick Baillot, Virgile Mogbil
Soft lambda-Calculus: A Language for Polynomial Time Computation. FoSSaCS (2004)
Christophe Fouqueré, Virgile Mogbil
Modules and Logic Programming CoRR (2004)
Patrick Baillot, Virgile Mogbil
Soft lambda-calculus: a language for polynomial time computation CoRR (2003)
Thomas Krantz, Virgile Mogbil
Encoding Hamiltonian circuits into multiplicative linear logic. Theor. Comput. Sci. 266 (1-2) (2001)
Virgile Mogbil
Quadratic Correctness Criterion for Non-commutative Logic. CSL (2001)

Virgile Mogbil.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Virgile Mogbil