Search Results - de Naurois, Paulin Jacobé

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Pointers in Recursion: Exploring the Tropics

    Pointers in Recursion: Exploring the Tropics by Jacobé de Naurois, Paulin

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time

    Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time by Bournez, Olivier, Cucker, Felipe, de Naurois, Paulin Jacobé, Marion, Jean-Yves

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    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:
  4. 4
    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:
  5. 5
    The complexity of semilinear problems in succinct representation

    The complexity of semilinear problems in succinct representation by Bürgisser, Peter, Cucker, Felipe, de Naurois, Paulin Jacobé

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Parallel Time and Quantifier Prefixes

    Parallel Time and Quantifier Prefixes by Cucker, Felipe, de Naurois, Paulin Jacobé

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Pointers in Recursion: Exploring the Tropics

    Pointers in Recursion: Exploring the Tropics by Paulin Jacobé de Naurois

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    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:
  9. 9
    Implicit complexity over an arbitrary structure: Quantifier alternations

    Implicit complexity over an arbitrary structure: Quantifier alternations by Bournez, Olivier, Cucker, Felipe, de Naurois, Paulin Jacobé, Marion, Jean-Yves

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    A Measure of Space for Computing over the Reals

    A Measure of Space for Computing over the Reals by Paulin Jacobé De Naurois

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH

    Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH by Bournez, Olivier, Cucker, Felipe, de Naurois, Paulin Jacobé, Marion, Jean-Yves

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: