Virgile Mogbil

According to our database, Virgile Mogbil authored at least 15 papers between 2001 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

An Interpretation of CCS into Ludics.

Stefano Del Vecchio, Virgile Mogbil

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

2012

Proofs as Executions.

Emmanuel Beffara, Virgile Mogbil

Proceedings of the Theoretical Computer Science, 2012

2011

Correctness of linear logic proof structures is NL-complete.

Paulin Jacobé de Naurois, Virgile Mogbil

Theor. Comput. Sci., 2011

2010

Rewriting Systems for Reachability in Vector Addition Systems with Pairs.

Paulin Jacobé de Naurois, Virgile Mogbil

Proceedings of the Reachability Problems, 4th International Workshop, 2010

A PolyTime Functional Language from Light Linear Logic.

Patrick Baillot, Marco Gaboardi, Virgile Mogbil

Proceedings of the Programming Languages and Systems, 2010

2009

Non-deterministic Boolean Proof Nets.

Virgile Mogbil

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008

Correctness of Multiplicative Additive Proof Structures is NL-Complete.

Paulin Jacobé de Naurois, Virgile Mogbil

Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008

2007

Rewritings for Polarized Multiplicative and Exponential Proof Structures.

Christophe Fouqueré, Virgile Mogbil

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Uniform Circuits, & Boolean Proof Nets.

Virgile Mogbil, Vincent Rahli

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Correctness of Multiplicative (and Exponential) Proof Structures is <i>NL</i> -Complete.

Paulin Jacobé de Naurois, Virgile Mogbil

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2004

Modules and Logic Programming

Christophe Fouqueré, Virgile Mogbil

CoRR, 2004

Soft lambda-Calculus: A Language for Polynomial Time Computation.

Patrick Baillot, Virgile Mogbil

Proceedings of the Foundations of Software Science and Computation Structures, 2004

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

PhD thesis, 2001

Encoding Hamiltonian circuits into multiplicative linear logic.

Thomas Krantz, Virgile Mogbil

Theor. Comput. Sci., 2001

Quadratic Correctness Criterion for Non-commutative Logic.

Virgile Mogbil

Proceedings of the Computer Science Logic, 15th International Workshop, 2001