Search Results - Mogbil, Virgile

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Correctness of linear logic proof structures is NL-complete

    Correctness of linear logic proof structures is NL-complete by Jacobé de Naurois, Paulin, Mogbil, Virgile

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Correctness of linear logic proof structures is N L -complete

    Correctness of linear logic proof structures is N L -complete by Jacobé de Naurois, Paulin, Mogbil, Virgile

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    An Interpretation of CCS into Ludics

    An Interpretation of CCS into Ludics by Del Vecchio, Stefano, Mogbil, Virgile

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Encoding Hamiltonian circuits into multiplicative linear logic

    Encoding Hamiltonian circuits into multiplicative linear logic by Krantz, Thomas, Mogbil, Virgile

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  5. 5
    Correctness of Multiplicative Additive Proof Structures is NL-Complete

    Correctness of Multiplicative Additive Proof Structures is NL-Complete by de Naurois, P.J., Mogbil, V.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Rewritings for Polarized Multiplicative and Exponential Proof Structures

    Rewritings for Polarized Multiplicative and Exponential Proof Structures by Fouqueré, Christophe, Mogbil, Virgile

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Modules and Logic Programming

    Modules and Logic Programming by Fouquere, Christophe, Mogbil, Virgile

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Soft lambda-calculus: a language for polynomial time computation

    Soft lambda-calculus: a language for polynomial time computation by Baillot, Patrick, Mogbil, Virgile

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: