Virgile Mogbil

Available identifiers

zbMath Open mogbil.virgileMaRDI QIDQ236817

List of research outcomes

Publication	Date of Publication	Type
An interpretation of CCS into ludics	2019-11-12	Paper
Rewritings for polarized multiplicative and exponential proof structures	2014-01-17	Paper
Proofs as executions	2012-09-21	Paper
Correctness of linear logic proof structures is NL-complete	2011-05-10	Paper
Non-deterministic Boolean Proof Nets	2010-09-14	Paper
Rewriting systems for reachability in vector addition systems with pairs	2010-08-31	Paper
A polytime functional language from light linear logic	2010-05-04	Paper
Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete	2009-03-05	Paper
Uniform Circuits, & Boolean Proof Nets	2008-01-04	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4783302	2002-12-04	Paper
Encoding Hamiltonian circuits into multiplicative linear logic	2002-03-03	Paper

Research outcomes over time

This page was built for person: Virgile Mogbil