Search Results - Dimino, Jerémie

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems

    FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems by Jacquemard, Florent, Segoufin, Luc, Dimino, Jerémie

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Selective applicative functors

    Selective applicative functors by Mokhov, Andrey, Lukyanov, Georgy, Marlow, Simon, Dimino, Jeremie

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems

    FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems by Jacquemard, Florent, Segoufin, Luc, Dimino, Jerémie

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

Search Tools: