Virgile Mogbil

16 papers A* 1A 1B 3Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2017 — conf
An Interpretation of CCS into Ludics.
LSFA
Stefano Del Vecchio, Virgile Mogbil
2012 — conf
Proofs as Executions.
IFIP TCS
Emmanuel Beffara, Virgile Mogbil
2011 J jnl
Correctness of linear logic proof structures is NL-complete.
Theor. Comput. Sci.
Paulin Jacobé de Naurois, Virgile Mogbil
2010 A conf
A PolyTime Functional Language from Light Linear Logic.
ESOP
Patrick Baillot, Marco Gaboardi, Virgile Mogbil
2010 — conf
Rewriting Systems for Reachability in Vector Addition Systems with Pairs.
RP
Paulin Jacobé de Naurois, Virgile Mogbil
2009 — conf
Non-deterministic Boolean Proof Nets.
FOPARA
Virgile Mogbil
2008 A* conf
Correctness of Multiplicative Additive Proof Structures is NL-Complete.
LICS
Paulin Jacobé de Naurois, Virgile Mogbil
2007 B conf
Correctness of Multiplicative (and Exponential) Proof Structures is
CSL
Paulin Jacobé de Naurois, Virgile Mogbil
2007 — conf
Rewritings for Polarized Multiplicative and Exponential Proof Structures.
TERMGRAPH@ETAPS
Christophe Fouqueré, Virgile Mogbil
2007 Misc conf
Uniform Circuits, & Boolean Proof Nets.
LFCS
Virgile Mogbil, Vincent Rahli
2004 J jnl
Modules and Logic Programming
CoRR
Christophe Fouqueré, Virgile Mogbil
2004 B conf
Soft lambda-Calculus: A Language for Polynomial Time Computation.
FoSSaCS
Patrick Baillot, Virgile Mogbil
2003 J jnl
Soft lambda-calculus: a language for polynomial time computation
CoRR
Patrick Baillot, Virgile Mogbil
2001 J jnl
Encoding Hamiltonian circuits into multiplicative linear logic.
Theor. Comput. Sci.
Thomas Krantz, Virgile Mogbil
2001 B conf
Quadratic Correctness Criterion for Non-commutative Logic.
CSL
Virgile Mogbil
2001 — —
Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire. (Phase semantics, proof nets and some decision problems in linear logic).
Virgile Mogbil