Hasil Pencarian - Florent Jacquemard

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  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 oleh Florent Jacquemard, Luc Segoufin, Jerémie Dimino

    Diterbitkan 2016-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Visibly Tree Automata with Memory and Constraints

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

    Diterbitkan 2008-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  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 oleh Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher

    Diterbitkan 2013-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: