Showing 1 - 3 results of 3 for search 'Florent Jacquemard', query time: 0.02s 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 Florent Jacquemard, Luc Segoufin, Jerémie Dimino

    Published 2016-04-01
    Get full text
    Article
  2. 2
    Visibly Tree Automata with Memory and Constraints

    Visibly Tree Automata with Memory and Constraints by Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin

    Published 2008-06-01
    Get full text
    Article
  3. 3
    Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories

    Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories by Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher

    Published 2013-04-01
    Get full text
    Article

Search Tools: