Virgile Mogbil

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An interpretation of CCS into ludics	2019-11-12	Paper
Rewritings for polarized multiplicative and exponential proof structures Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Proofs as executions Lecture Notes in Computer Science	2012-09-21	Paper
Correctness of linear logic proof structures is NL-complete Theoretical Computer Science	2011-05-10	Paper
Non-deterministic Boolean Proof Nets Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
Rewriting systems for reachability in vector addition systems with pairs Lecture Notes in Computer Science	2010-08-31	Paper
A polytime functional language from light linear logic Programming Languages and Systems	2010-05-04	Paper
Correctness of Multiplicative (and Exponential) Proof Structures is NL-Complete Computer Science Logic	2009-03-05	Paper
Uniform Circuits, & Boolean Proof Nets Logical Foundations of Computer Science	2008-01-04	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-09-28	Paper
scientific article; zbMATH DE number 1841814 (Why is no real title available?)	2002-12-04	Paper
Encoding Hamiltonian circuits into multiplicative linear logic Theoretical Computer Science	2002-03-03	Paper

Research outcomes over time

This page was built for person: Virgile Mogbil